12084 search results - page 269 / 2417 » Effect Systems with Subtyping |
206
click to vote
ESOP
1999
Springer
15 years 11 months ago
1999
Springer
Safety of interoperation of program fragments written in different safe languages may fail when the languages have different systems of computational effects: an exception raised b...
218
click to vote
EUROMICRO
1996
IEEE
15 years 11 months ago
1996
IEEE
Replication is a key strategy for improving locality, fault tolerance and availability in distributed systems. The paper focuses on distributed file systems and presents a system ...
215
click to vote
IPM
2006
15 years 7 months ago
2006
Measuring effectiveness of information retrieval (IR) systems is essential for research and development and for monitoring search quality in dynamic environments. In this study, w...
213
click to vote
CONEXT
2006
ACM
16 years 1 months ago
2006
ACM
Internet coordinate-based systems are poised to become an important service to support overlay construction and topology-aware applications. Indeed, through network distance embed...
180
click to vote
ATAL
2008
Springer
15 years 9 months ago
2008
Springer
Although normative systems, or social laws, have proved to be a highly influential approach to coordination in multi-agent systems, the issue of compliance to such normative syste...