Sfoglia
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 5.001 a 5.020 di 7.939
Vote Verification through Open Standard: A Roadmap
2011-01-01 Ali Fawzi Najm Al, Shammari; Weldemariam, Komminist Sisai; Villafiorita Monteleone, Adolfo; Sergio, Tessaris
Malicious Website Detection: Effectiveness and Efficiency Issues
2011-01-01 Eshete, Birhanu Mekuria; Villafiorita Monteleone, Adolfo; Weldemariam, Komminist Sisai
Early Detection of Security Misconfiguration Vulnerabilities in Web Applications
2011-01-01 Eshete, Birhanu Mekuria; Weldemariam, Komminist Sisai; Villafiorita Monteleone, Adolfo
GSTE is partitioned Model Checking
2004-01-01 Sebastiani, Roberto; Eli, Singerman; Tonetta, Stefano; Moshe, Vardi
Requirements Engineering for Self-Adaptive Systems: Core Ontology and Problem Statement
2011-01-01 Qureshi, Nauman Ahmed; Ivan J., Jureta; Perini, Anna
A Uniform Framework for Predicate Abstraction Approximation
2006-01-01 Tonetta, Stefano; Natasha, Sharygina
Property-driven partitioning for abstraction refinement
2007-01-01 Sebastiani, Roberto; Tonetta, Stefano; Moshe, Vardi
Satisfying User Needs at the Right Time and in the Right Place: A Research Preview
2011-01-01 Qureshi, Nauman Ahmed; Norbert, Seyff; Perini, Anna
Local Models Semantics, or Contextual Reasoning = Locality + Compatibility
1998-01-01 Giunchiglia, Fausto; Ghidini, Chiara
Information Integration for Electronic Commerce
1998-01-01 Ghidini, Chiara; Serafini, Luciano
Modelling (Un)Bounded Beliefs
1999-01-01 Ghidini, Chiara
Programming Resource-Bounded Deliberative Agents
1999-01-01 Michael, Fisher; Ghidini, Chiara
The ABC of Rational Agent Modelling
2002-01-01 Michael, Fisher; Ghidini, Chiara
Formalizing Belief Reports -- The Approach and a Case Study
1998-01-01 Massimo, Benerecetti; Bouquet, Paolo; Ghidini, Chiara
On the dimensions of context dependence: partiality, approximation, and perspective
2001-01-01 Massimo, Benerecetti; Bouquet, Paolo; Ghidini, Chiara
An Analytic Evaluation of SystemC Encodings in Promela
2011-01-01 Campana, Daniele; Cimatti, Alessandro; Narasamdya, Iman; Roveri, Marco
A Critical Overview and Open Questions for Temporal Planning with Uncertainty
2011-01-01 Rosella, Gennari; Anna, Roubickova; Roveri, Marco
A Comprehensive Approach to On-Board Autonomy Verification and Validation
2011-01-01 Bozzano, Marco; Cimatti, Alessandro; Roveri, Marco; Tchaltsev, Andrei
Kratos - A Software Model Checker for SystemC
2011-01-01 Cimatti, Alessandro; Griggio, Alberto; Micheli, Andrea; Iman, Narasamdya; Roveri, Marco
Efficient Scenario VeriFIcation for Hybrid Automata
2011-01-01 Cimatti, Alessandro; Mover, Sergio; Tonetta, Stefano
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Vote Verification through Open Standard: A Roadmap | 1-gen-2011 | Ali Fawzi Najm Al, Shammari; Weldemariam, Komminist Sisai; Villafiorita Monteleone, Adolfo; Sergio, Tessaris | |
| Malicious Website Detection: Effectiveness and Efficiency Issues | 1-gen-2011 | Eshete, Birhanu Mekuria; Villafiorita Monteleone, Adolfo; Weldemariam, Komminist Sisai | |
| Early Detection of Security Misconfiguration Vulnerabilities in Web Applications | 1-gen-2011 | Eshete, Birhanu Mekuria; Weldemariam, Komminist Sisai; Villafiorita Monteleone, Adolfo | |
| GSTE is partitioned Model Checking | 1-gen-2004 | Sebastiani, Roberto; Eli, Singerman; Tonetta, Stefano; Moshe, Vardi | |
| Requirements Engineering for Self-Adaptive Systems: Core Ontology and Problem Statement | 1-gen-2011 | Qureshi, Nauman Ahmed; Ivan J., Jureta; Perini, Anna | |
| A Uniform Framework for Predicate Abstraction Approximation | 1-gen-2006 | Tonetta, Stefano; Natasha, Sharygina | |
| Property-driven partitioning for abstraction refinement | 1-gen-2007 | Sebastiani, Roberto; Tonetta, Stefano; Moshe, Vardi | |
| Satisfying User Needs at the Right Time and in the Right Place: A Research Preview | 1-gen-2011 | Qureshi, Nauman Ahmed; Norbert, Seyff; Perini, Anna | |
| Local Models Semantics, or Contextual Reasoning = Locality + Compatibility | 1-gen-1998 | Giunchiglia, Fausto; Ghidini, Chiara | |
| Information Integration for Electronic Commerce | 1-gen-1998 | Ghidini, Chiara; Serafini, Luciano | |
| Modelling (Un)Bounded Beliefs | 1-gen-1999 | Ghidini, Chiara | |
| Programming Resource-Bounded Deliberative Agents | 1-gen-1999 | Michael, Fisher; Ghidini, Chiara | |
| The ABC of Rational Agent Modelling | 1-gen-2002 | Michael, Fisher; Ghidini, Chiara | |
| Formalizing Belief Reports -- The Approach and a Case Study | 1-gen-1998 | Massimo, Benerecetti; Bouquet, Paolo; Ghidini, Chiara | |
| On the dimensions of context dependence: partiality, approximation, and perspective | 1-gen-2001 | Massimo, Benerecetti; Bouquet, Paolo; Ghidini, Chiara | |
| An Analytic Evaluation of SystemC Encodings in Promela | 1-gen-2011 | Campana, Daniele; Cimatti, Alessandro; Narasamdya, Iman; Roveri, Marco | |
| A Critical Overview and Open Questions for Temporal Planning with Uncertainty | 1-gen-2011 | Rosella, Gennari; Anna, Roubickova; Roveri, Marco | |
| A Comprehensive Approach to On-Board Autonomy Verification and Validation | 1-gen-2011 | Bozzano, Marco; Cimatti, Alessandro; Roveri, Marco; Tchaltsev, Andrei | |
| Kratos - A Software Model Checker for SystemC | 1-gen-2011 | Cimatti, Alessandro; Griggio, Alberto; Micheli, Andrea; Iman, Narasamdya; Roveri, Marco | |
| Efficient Scenario VeriFIcation for Hybrid Automata | 1-gen-2011 | Cimatti, Alessandro; Mover, Sergio; Tonetta, Stefano |
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 5.001 a 5.020 di 7.939
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
- 4 Contributo in Atti di Convegno ...7938
Data di pubblicazione
- In corso di stampa2
- 2020 - 20261562
- 2010 - 20193439
- 2000 - 20092320
- 1990 - 1999567
- 1980 - 198948
Editore
- IEEE620
- Springer357
- ACM148
- Association for Computational Lin...91
- CEUR-WS.org72
- IEEE Computer Society61
- SPIE60
- ACL38
- AAAI Press37
- ieee31
Rivista
- INTERNATIONAL ARCHIVES OF THE PHO...98
- LECTURE NOTES IN COMPUTER SCIENCE41
- POS PROCEEDINGS OF SCIENCE22
- JOURNAL OF PHYSICS. CONFERENCE SE...21
- PROCEEDINGS OF SPIE, THE INTERNAT...17
- PROCEEDINGS14
- CEUR WORKSHOP PROCEEDINGS13
- THE INTERNATIONAL ARCHIVES OF THE...12
- EPJ WEB OF CONFERENCES10
- LECTURE NOTES IN ARTIFICIAL INTEL...9
Serie
- LECTURE NOTES IN COMPUTER SCIENCE229
- LECTURE NOTES IN ARTIFICIAL INTEL...48
- CEUR WORKSHOP PROCEEDINGS38
- PROCEEDINGS OF SPIE, THE INTERNAT...25
- LECTURE NOTES IN COMPUTER SCIENCE23
- LECTURE NOTES IN ELECTRICAL ENGIN...20
- LECTURE NOTES IN ELECTRICAL ENGIN...17
- LECTURE NOTES IN BUSINESS INFORMA...16
- IEEE ENGINEERING IN MEDICINE AND ...11
- ISPRS ANNALS OF THE PHOTOGRAMMETR...10
Keyword
- NLP41
- automatic speech recognition38
- Content Processing33
- MEMS31
- RF-MEMS31
- silicon radiation detectors28
- SiPM26
- RF MEMS25
- machine translation23
- Machine Translation22
Lingua
- eng6441
- ita159
- ger15
- spa6
- fre5
- enm4
- cze1
- lat1
- rum1
Accesso al fulltext
- no fulltext6824
- open482
- restricted464
- reserved165
- partially open2
- mixed1