1768 search results - page 147 / 354 » A Logic for Algebraic Effects |
190
Voted
INEX
2004
Springer
16 years 11 days ago
2004
Springer
This paper discusses our participation in INEX using the TIJAH XML-IR system. We have enriched the TIJAH system, which follows a standard layered database architecture, with severa...
217
click to vote
CSFW
2003
IEEE
16 years 9 days ago
2003
IEEE
We provide a framework for reasoning about information-hiding requirements in multiagent systems and for reasoning about anonymity in particular. Our framework employs the modal l...
209
click to vote
ICCD
2003
IEEE
16 years 9 days ago
2003
IEEE
Excessive switching activity during shift cycles in scan-based cores imposes considerable test power challenges. To ensure rapid and reliable test of SOCs, we propose a scan chain...
199
click to vote
CONCUR
2003
Springer
16 years 7 days ago
2003
Springer
Multi-valued model-checking is an extension of classical model-checking to reasoning about systems with uncertain information, which are common during early design stages. The addi...
200
click to vote
ICLP
2003
Springer
16 years 7 days ago
2003
Springer
Concurrent constraint programming (ccp) is a model of concurrency for systems in which agents (also called processes) interact with one another by telling and asking information in...