3573 search results - page 244 / 715 » Reasoning about Codata |
138
click to vote
ICLP
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Information about the nondeterminism behavior of a functional logic program is important for various reasons. For instance, a nondeterministic choice in I/O operations re...
139
click to vote
RTA
2005
Springer
15 years 10 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 ...
137
click to vote
WDAG
2005
Springer
15 years 10 months ago
2005
Springer
Atomicity (or linearizability) is a commonly used consistency criterion for distributed services and objects. Although atomic object implementations are abundant, proving that algo...
132
click to vote
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...
133
click to vote
KR
2004
Springer
15 years 9 months ago
2004
Springer
The Fluent Calculus has largely been focused on building agents that work individually. However, agents often need to interact with each other to learn more about their environmen...