1941 search results - page 267 / 389 » Reasoning about Computations Using Two-Levels of Logic |
129
Voted
RTA
2005
Springer
15 years 9 months ago
2005
Springer
Proof-carrying code provides a mechanism for insuring that a host, or code consumer, can safely run code delivered by a code producer. The host specifies a safety policy as a set ...
124
Voted
COORDINATION
2004
Springer
15 years 9 months ago
2004
Springer
There has been significant recent interest in exploring the role of coordination languages as middleware for distributed systems. These languages provide operations that allow pro...
119
Voted
ICDCSW
2006
IEEE
15 years 9 months ago
2006
IEEE
Peer-to-peer (P2P) systems are based upon the cooperative interactions of member peers. Typically, peers are both autonomous and self-interested, meaning that there is no hierarch...
136
Voted
PODC
1999
ACM
15 years 8 months ago
1999
ACM
We present a new approach for reasoning about liveness properties of distributed systems, represented as automata. Our approach is based on simulation relations, and requires reas...
118
Voted
ECAI
1994
Springer
15 years 7 months ago
1994
Springer
For large problems the ATMS often becomes the main resource consumer in any reasoning system. We propose an architecture (the 2vATMS) that combines the advantages of two techniques...