940 search results - page 29 / 188 » Local rely-guarantee reasoning |
TIME
2005
IEEE
14 years 3 months ago
2005
IEEE
Information often comes from different sources and merging these sources usually leads to the apparition of inconsistencies. Fusion is the operation which consists in restoring th...
LPAR
2001
Springer
14 years 2 months ago
2001
Springer
Abstract. The calculus of structures is a framework for specifying logical systems, which is similar to the one-sided sequent calculus but more general. We present a system of infe...
LICS
2000
IEEE
14 years 2 months ago
2000
IEEE
Concurrent ML is an extension of Standard ML with π-calculus-like primitives for multi-threaded programming. CML has a reduction semantics, but to date there has been no labelled...
ICAIL
2009
ACM
14 years 4 months ago
2009
ACM
ct Land use regulations are an important but often underrated legal domain. Especially in densely populated regions such as the Netherlands, spatial plans have a profound impact on...
ATAL
2005
Springer
14 years 3 months ago
2005
Springer
Just as POMDPs have been used to reason explicitly about uncertainty in single-agent systems, there has been recent interest in using multi-agent POMDPs to coordinate teams of age...