819 search results - page 48 / 164 » Using Assumptions to Distribute CTL Model Checking |
116
click to vote
GAMESEC
2010
14 years 10 months ago
2010
Abstract. Many computer protection tools incorporate learning techniques that build mathematical models to capture the characteristics of system's activity and then check whet...
110
click to vote
SIGSOFT
2007
ACM
16 years 1 months ago
2007
ACM
Model checking techniques have traditionally dealt with temporal logic languages and automata interpreted over -words, i.e., infinite in the future but finite in the past. However...
112
click to vote
CRYPTO
2012
Springer
13 years 3 months ago
2012
Springer
We give the first proof of security for an identity-based encryption scheme in the quantum random oracle model. This is the first proof of security for any scheme in this model ...
PPSN
2004
Springer
15 years 6 months ago
2004
Springer
Mathematical modeling of the spread of infectious diseases is a well established field with high practical importance. Underlying most analytical approaches is the assumption of ...
115
Voted
IVC
2007
15 years 3 days ago
2007
Parameters used in physical models for nonrigid and articulated motion analysis are often not known with high precision. It has been recognized that commonly used assumptions abou...