955 search results - page 156 / 191 » Model Checking Operator Procedures |
115
Voted
ACSAC
2010
IEEE
14 years 10 months ago
2010
IEEE
Smartphone usage has been continuously increasing in recent years. Moreover, smartphones are often used for privacysensitive tasks, becoming highly valuable targets for attackers....
187
Voted
ICDE
2008
IEEE
16 years 2 months ago
2008
IEEE
We introduce Pulse, a framework for processing continuous queries over models of continuous-time data, which can compactly and accurately represent many real-world activities and p...
197
Voted
POPL
2008
ACM
16 years 1 months ago
2008
ACM
The search for proof and the search for counterexamples (bugs) are complementary activities that need to be pursued concurrently in order to maximize the practical success rate of...
108
click to vote
ICSE
2008
IEEE-ACM
16 years 25 days ago
2008
IEEE-ACM
This paper examines the suitability and use of runtime verification as means for monitoring security protocols and their properties. In particular, we employ the runtime verificat...
102
click to vote
FSEN
2007
Springer
15 years 7 months ago
2007
Springer
We define a type system for COWS, a formalism for specifying and combining services, while modelling their dynamic behaviour. Our types permit to express policies constraining dat...