5599 search results - page 887 / 1120 » Abstract State Services |
157
click to vote
FMCAD
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Probabilistic techniques for verification of finite-state transition systems offer huge memory savings over deterministic techniques. The two leading probabilistic scheme...
156
click to vote
CONCUR
2006
Springer
15 years 8 months ago
2006
Springer
Boolean programs with recursion are convenient abstractions of sequential imperative programs, and can be represented as recursive state machines (RSMs) or pushdown automata. Motiv...
143
click to vote
CSL
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Two styles of definitions are usually considered to express that a security protocol preserves the confidentiality of a data s. Reachability-based secrecy means that s sh...
150
click to vote
DALT
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. In this paper we propose a foundational ontology of the social concepts of organization and role which structure institutions. We identify which axioms model social conce...
149
click to vote
DCOSS
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Reprogramming the sensor networks in place is an important and challenging problem. One way suggested for reprogramming is with the help of an UAV (Unmanned Ariel Vehicle...