41 search results - page 2 / 9 » On the Modularity of Deciding Call-by-Need |
ICALP
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. State-based systems and modal logics for reasoning about them often heterogeneously combine a number of features such as non-determinism and probabilities. Here, we show ...
ICAIL
2009
ACM
13 years 11 months ago
2009
ACM
Legal doctrines provide principles, guidelines and rules for dispute resolution in reasoning with cases. To apply legal doctrines, the context of a contract consisting of differe...
HYBRID
2007
Springer
13 years 11 months ago
2007
Springer
This paper addresses questions regarding the decidability of hybrid automata that may be constructed hierarchically and in a modular way, as is the case in many exemplar systems, b...
ISPDC
2006
IEEE
13 years 11 months ago
2006
IEEE
Optimistically Terminating Consensus (OTC) is a variant of Consensus that decides if all correct processes propose the same value. It is surprisingly easy to implement: processes ...
ACSAC
1999
IEEE
13 years 9 months ago
1999
IEEE
Recently, research has focused on enabling fair exchange between payment and electronically shipped items. The reason for this is the growing importance of Electronic Commerce and...