11168 search results - page 152 / 2234 » Abstract State Processes |
160
click to vote
IEEESCC
2005
IEEE
15 years 10 months ago
2005
IEEE
eal world”, represented abstractly using (time-varying) first-order logic predicates and terms. A representative composition result [11] here uses a translation into Petri nets. ...
143
click to vote
ICDCS
1999
IEEE
15 years 9 months ago
1999
IEEE
group multicasts provide a nice abstraction for communicating data reliably among group members and have been used for a variety of applications. In this paper we present Corona, ...
146
click to vote
CRYPTO
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. Cryptographic systems often involve running multiple concurrent instances of some protocol, where the instances have some amount of joint state and randomness. (Examples ...
110
Voted
CDC
2009
IEEE
15 years 9 months ago
2009
IEEE
Abstract— In this paper we consider the problem of constructing a distributed feedback law to achieve synchronization for a group of k agents whose states evolve on SO(n) and whi...
138
click to vote
AMAST
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. State space explosion is the hardest challenge to the effective application of model checking methods. We present a new technique for achieving drastic state space reduct...