3891 search results - page 716 / 779 » A logic for strategic reasoning |
178
click to vote
TPHOL
2003
IEEE
16 years 2 days ago
2003
IEEE
Abstract. It is well known that mathematical proofs often contain (abstract) algorithms, but although these algorithms can be understood by a human, it still takes a lot of time an...
175
click to vote
PODC
2003
ACM
16 years 1 days ago
2003
ACM
The distinction between safety and liveness properties is due to Lamport who gave the following informal characterization. Safety properties assert that nothing bad ever happens w...
161
click to vote
CAISE
2003
Springer
16 years 1 days ago
2003
Springer
We define a Mobile Database Community (MDBC) as a dynamic collection of autonomous mobile databases in which each database user can access databases in the community through a wir...
272
click to vote
GLOBAL
2003
Springer
16 years 12 hour ago
2003
Springer
Klaim (Kernel Language for Agents Interaction and Mobility) is an experimental language specifically designed to program distributed systems consisting of several mobile component...
178
click to vote
ICLP
2003
Springer
16 years 7 hour ago
2003
Springer
Abstract The ntcc process calculus is a timed concurrent constraint programming (ccp) model equipped with a first-order linear-temporal logic (LTL) for expressing process specifi...