2911 search results - page 376 / 583 » A Theory of Expressiveness in Mechanisms |
127
Voted
SAC
2009
ACM
15 years 8 months ago
2009
ACM
A wide range of web service choreography constraints on the content and sequentiality of messages can be translated into Linear Temporal Logic (LTL). Although they can be statical...
105
Voted
LATA
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. We consider policies that are described by regular expressions, finite automata, or formulae of linear temporal logic (LTL). Such policies are assumed to describe situat...
117
click to vote
VMCAI
2009
Springer
15 years 8 months ago
2009
Springer
A new approach based on constraint solving techniques was recently proposed for verification of hybrid systems. This approach works by searching for inductive invariants of a give...
114
Voted
CSE
2009
IEEE
15 years 8 months ago
2009
IEEE
—The recently developed small wireless devices ranging from sensor boards to mobile phones provide a timely opportunity to gather unique data sets on complex human interactions, ...
113
click to vote
CSFW
2009
IEEE
15 years 8 months ago
2009
IEEE
—Formal methods have proved their usefulness for analyzing the security of protocols. Most existing results focus on trace properties like secrecy (expressed as a reachability pr...