11168 search results - page 70 / 2234 » Abstract State Processes |
162
click to vote
FORMATS
2010
Springer
15 years 16 days ago
2010
Springer
We present a general approach to combine symbolic state space representations for the discrete and continuous parts in the synthesis of winning strategies for timed reachability ga...
132
Voted
DICS
2006
15 years 4 months ago
2006
Abstract. Group communication is a programming abstraction that allows a distributed group of processes to provide a reliable service in spite of the possibility of failures within...
141
click to vote
TACAS
2010
Springer
15 years 12 days ago
2010
Springer
Systems and protocols combining concurrency and infinite state space occur quite often in practice, but are very difficult to verify automatically. At the same time, if the system ...
101
Voted
EACL
2009
ACL Anthology
16 years 3 months ago
2009
ACL Anthology
129
Voted
ENTCS
2008
15 years 2 months ago
2008
istic Abstract Interpretation of Imperative Programs using Truncated Normal Distributions Michael J. A. Smith1 ,2 Laboratory for Foundations of Computer Science University of Edinb...