1058 search results - page 99 / 212 » Fault-Tolerant Resource Reasoning |
104
click to vote
ICFP
2003
ACM
16 years 21 days ago
2003
ACM
We develop an explicit two level system that allows programmers to reason about the behavior of effectful programs. The first level is an ordinary ML-style type system, which conf...
109
Voted
OTM
2007
Springer
15 years 6 months ago
2007
Springer
We show how Semantic Web technologies can be used to build an access control system. We follow the role-based access control approach (RBAC) and extend it with contextual attribute...
108
click to vote
CSL
2005
Springer
15 years 6 months ago
2005
Springer
In previous work we presented a foundational calculus for spatially distributed computing based on intuitionistic modal logic. With the modalities P and Q we were able to capture t...
98
Voted
IPTPS
2005
Springer
15 years 6 months ago
2005
Springer
Abstract— For peer-to-peer services to be effective, participating nodes must cooperate, but in most scenarios a node represents a self-interested party and cooperation can neith...
112
Voted
GRID
2004
Springer
15 years 6 months ago
2004
Springer
Locating resources of interest in a large resourceintensive environment is a challenging problem. In this paper we present research on addressing this problem through the developm...