2872 search results - page 535 / 575 » On (Omega-)Regular Model Checking |
102
Voted
APN
2007
Springer
15 years 4 months ago
2007
Springer
This tool paper describes the functionality of ProM. Version 4.0 of ProM has been released at the end of 2006 and this version reflects recent achievements in process mining. Proc...
82
Voted
ATAL
2007
Springer
15 years 4 months ago
2007
Springer
We develop a model of normative systems in which agents are assumed to have multiple goals of increasing priority, and investigate the computational complexity and game theoretic ...
85
Voted
MSWIM
2006
ACM
15 years 4 months ago
2006
ACM
Security is a critical issue in mobile commerce, especially in mobile database systems since mobile environments are dynamic and traditional protection mechanisms do not work very...
85
Voted
CCS
2005
ACM
15 years 3 months ago
2005
ACM
We describe a new encryption technique that is secure in the standard model against adaptive chosen ciphertext (CCA2) attacks. We base our method on two very efficient Identity-Ba...
82
Voted
ICFEM
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Theorem provers, model checkers, static analyzers, test generators. . . all of these and many other kinds of formal methods tools can contribute to the analysis and devel...