Designing Secure Socio-Technical Systems with STS-ml
2013-01-01 Paja, Elda; Dalpiaz, Fabiano; Giorgini, Paolo
STS-Tool: Specifying and Reasoning over Socio-Technical Security Requirements
2013-01-01 Paja, Elda; Dalpiaz, Fabiano; Poggianella, Mauro; Roberti, Pierluigi; Giorgini, Paolo
Analysing Information Integrity Requirements in Safety Critical Systems
2013-01-01 Gharib, Mohamad; Giorgini, Paolo
STS-Tool: Socio-Technical Security Requirements through Social Commitments
2012-01-01 Paja, Elda; Dalpiaz, Fabiano; Poggianella, Mauro; Roberti, Pierluigi; Giorgini, Paolo
Specifying and Reasoning over Socio-Technical Security Requirements with STS-Tool
2013-01-01 Paja, Elda; Dalpiaz, Fabiano; Poggianella, Mauro; Roberti, Pierluigi; Giorgini, Paolo
Managing Security Requirements Conflicts in Socio-Technical Systems
2013-01-01 Paja, Elda; Dalpiaz, Fabiano; Giorgini, Paolo
Advances on remote wireless power transmission at the ELEDIA research center
2013-01-01 Franceschetti, Giorgio; Oliveri, Giacomo; Rocca, Paolo; Massa, Andrea
Cloud-assisted dissemination in social overlays
2013-01-01 Mega, Giuliano; Montresor, Alberto; Picco, Gian Pietro
Test respirometrici e titrimetrici
2013-01-01 Foladori, Paola; Villa, Roberta
Of words, eyes and brains: Correlating image-based distributional semantic models with neural representations of concepts
2013-01-01 Anderson, Andrew James; Bruni, Elia; U., Bordignon; Poesio, Massimo; Baroni, Marco
Ricomporre la memoria della Grande Guerra. Blockhaus Pejo in Val di Sole
2013-01-01 D., Bertolini; A., Fronk; Massari, Giovanna
Adapting a State-of-the- art Anaphora Resolution System for Resource-poor Language
2013-01-01 U., Sikdar; A., Ekbal; S., Saha; Uryupina, Olga; Poesio, Massimo
Lightweight gossip-based distribution estimation
2013-01-01 A., Payberah; Kavalionak, Hanna; Montresor, Alberto; J., Dowling; S., Haridi
An evaluation study of BigData frameworks for graph processing
2013-01-01 Montresor, Alberto; B., Elser
Choosing Compliance Solutions through Stakeholder Preferences
2013-01-01 Ingolfo, Silvia; Siena, Alberto; Jureta, I.; Susi, Angelo; Perini, Anna; Mylopoulos, Ioannis
Runtime Goal Models
2013-01-01 Dalpiaz, Fabiano; Borgida, A.; Horkoff, Jennifer Marie; Mylopoulos, Ioannis
Automated Reasoning for Regulatory Compliance
2013-01-01 Ingolfo, Silvia; Siena, Alberto; Jureta, I.; Susi, Angelo; Perini, Anna; Mylopoulos, Ioannis
Investigating the Network Performance of a Real-Time Linux Kernel
2013-01-01 Abeni, Luca; Kiraly, Csaba
Motion Planning in Crowds using Statistical Model Checking to Enhance the Social Force Model
2013-01-01 Colombo, A.; Fontanelli, Daniele; Legay, A.; Palopoli, Luigi; Sedwards, Sean Albert
Behavioural templates improve robot motion planning with social force model in human environments
2013-01-01 Colombo, Alessio; Fontanelli, Daniele; Gandhi, Dhaval Sureshchandra; De Angeli, Antonella; Palopoli, Luigi; Sedwards, Sean Albert; A., Legay
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile
Scopri
Tipologia
- 04 Convegni (Proceedings)20257
- 03 Contributo in periodico (Part ...3
- 02 Contributo in volume (Part of ...1
Data di pubblicazione
- In corso di stampa43
- 2020 - 20263325
- 2010 - 20197199
- 2000 - 20096478
- 1990 - 19992662
- 1980 - 1989495
- 1970 - 197948
- 1964 - 19699
Editore
- IEEE2261
- Institute of Electrical and Elect...956
- Springer898
- ACM387
- IEEE Computer Society313
- Springer Verlag294
- SPIE186
- Association for Computational Lin...170
- CEUR-WS167
- Association for Computing Machinery162
Rivista
- JOURNAL OF PHYSICS. CONFERENCE SE...66
- POS PROCEEDINGS OF SCIENCE45
- IJCAI28
- LECTURE NOTES IN COMPUTER SCIENCE21
- AIP CONFERENCE PROCEEDINGS12
- INTERNATIONAL ARCHIVES OF THE PHO...12
- PROCEDIA STRUCTURAL INTEGRITY11
- PROCEEDINGS OF SPIE, THE INTERNAT...11
- MATEC WEB OF CONFERENCES10
- E3S WEB OF CONFERENCES9
Serie
- LECTURE NOTES IN COMPUTER SCIENCE680
- CEUR WORKSHOP PROCEEDINGS259
- PROCEEDINGS OF SPIE, THE INTERNAT...176
- IEEE INTERNATIONAL GEOSCIENCE AND...136
- LECTURE NOTES IN COMPUTER SCIENCE112
- LECTURE NOTES IN ARTIFICIAL INTEL...92
- DIGEST - IEEE ANTENNAS AND PROPAG...59
- PROCEEDINGS - IEEE COMPUTER SOCIE...56
- IEEE INTERNATIONAL GEOSCIENCE AND...54
- IFAC-PAPERSONLINE50
Settore disciplinare
- Settore M-FIL/02 - Logica e Filos...56
- Settore ING-INF/05 - Sistemi di E...31
- Settore INF/01 - Informatica21
- Settore ING-INF/01 - Elettronica14
- Settore ING-INF/07 - Misure Elett...12
- Settore ING-INF/03 - Telecomunica...8
- Settore MAT/05 - Analisi Matematica8
- Settore ICAR/14 - Composizione Ar...7
- Settore ING-IND/22 - Scienza e Te...5
- Settore L-ANT/08 - Archeologia Cr...5
Keyword
- Computer Networks and Communications149
- Computer Science Applications1707...144
- Electrical and Electronic Enginee...138
- Software108
- Computer Science (all)103
- Theoretical Computer Science85
- Control and Systems Engineering71
- 170761
- Artificial Intelligence53
- Modeling and Simulation49
Lingua
- eng15193
- ita3561
- und133
- fre96
- spa74
- ger61
- por20
- tur8
- rus5
- enm3
Accesso al fulltext
- no fulltext15003
- reserved3239
- open1520
- partially open487
- mixed8
- embargoed2