Modeling and verification of ATM security policies with SecBPMN
2014-01-01 Salnitri, Mattia; Giorgini, Paolo
A systematic approach for dynamic targeted monitoring of KPIs
2014-01-01 A., Maté; Zoumpatianos, Konstantinos; Palpanas, Themistoklis; J., Trujillo; Mylopoulos, Ioannis; E., Koci
A Case Study of Active, Continuous and Predictive Social Media Analytics for Smart City
2014-01-01 M., Balduini; S., Bocconi; A., Bozzon; E., Della Valle; Y., Huang; J., Oostermann; Palpanas, Themistoklis; Tsytsarau, Mikalai
Dynamics of news events and social media reaction
2014-01-01 Tsytsarau, Mikalai; Palpanas, Themistoklis; M., Castellanos
Node classification in uncertain graphs
2014-01-01 Dallachiesa, Michele; C., Aggarwal; Palpanas, Themistoklis
Recognizing Hospital Care Activities with a Coat Pocket Worn Smartphone
2014-01-01 Gernot, Bahle; Agnes, Gruenerbl; Bignotti, Enrico; Zeni, Mattia; Giunchiglia, Fausto; Paul, Lukowicz
Interferometric switching in CROW based reconfigurable optical device for routing application
2013-01-01 Mancinelli, Mattia; Bettotti, Paolo; Fedeli, J. M.; Pavesi, L.
Influence of Tempering Conditions on Shot-Peened Tool Steel Components In-Depth Residual Stress Profiles
2014-01-01 Diego, Cecchin; Evgeny, Kobza; Cazzolli, Marco; Azanza Ricardo, Cristy Leonor; D'Incau, Mirco; Michele, Bandini; Scardi, Paolo
Evaluating the Expressiveness and Effectiveness of a Conceptual Modelling Language: A Requirements Modelling Language Example
2014-01-01 Horkoff, Jennifer Marie; Aydemir, Fatma Basak; Li Feng, Lin; Litong, ; Mylopoulos, Ioannis
Ion-molcule reactions of relevance for astrochemistry
2014-01-01 Ascenzi, Daniela; Linda, Giacomozzi; Estefania Lopez, Marne; Tosi, Paolo; Miroslav, Polasek; Jan, Zabka; Christian, Alcaraz; Emile Laure, Zins
Towards an Ontology of Computer Software: a Requirements Engineering Perspective
2014-01-01 Wang, Xiaowei; N., Guarino; G., Guizzardi; Mylopoulos, Ioannis
An Ontological Interpretation of Non-Functional Requirements
2014-01-01 Guizzardi, R.; Li, Fenglin; Borgida, A.; Guizzardi, Giancarlo; Horkoff, Jennifer Marie; Jmylopoulos, J. Mylopoulos
Protos: Foundations for engineering innovative sociotechnical systems
2014-01-01 Chopra, Amit Khushwant; Dalpiaz, Fabiano; F., Aydemir; Giorgini, Paolo; Mylopoulos, Ioannis; M., Singh
Non-Functional Requirements as Qualities, with a Spice of Ontology
2014-01-01 Li Feng, Lin; Horkoff, Jennifer Marie; Mylopoulos, Ioannis; A., Borgida; G., Guizzardi; R., Guizzardi; Liu, Lin
Rationalism with a Dose of Empiricism: Case-Based Reasoning for Requirements-Driven Self-Adaptation
2014-01-01 Qian, Wenyi; Peng, Xin; Chen, Bihuan; Mylopoulos, Ioannis; Wang, Huanhuan; Zhao, Wenyun
Exploring Alternative Designs of Socio-Technical Systems
2014-01-01 F., Aydemir; Dalpiaz, Fabiano; Giorgini, Paolo; Mylopoulos, Ioannis
From Requirements to Statecharts via Design Refinement
2014-01-01 J., Pimentel; Mylopoulos, Ioannis; Silva Souza, Vitor Estevao; J., Castro; Angelopoulos, Konstantinos
Taking Goal Models Downstream: A Systematic Roadmap
2014-01-01 Horkoff, Jennifer Marie; Tong, . L.; Li, Fenglin; Pimentel, J.; Salnitri, Mattia; Souza Cardoso, Evellin Cristine; Giorgini, Paolo; Mylopoulos, Ioannis
Briefing virtual actors: A first report on the presto project
2014-01-01 P., Busetta; C., Ghidini; M., Pedrotti; De Angeli, Antonella; Menestrina, Zeno
Demonstrating a Methodology for Observing and Documenting Human Behaviour and Interaction
2014-01-01 C. R., Wilkinson; De Angeli, Antonella
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 fulltext15001
- reserved3239
- open1521
- partially open488
- mixed8
- embargoed2