512 search results - page 47 / 103 » Reasoning about Asynchronous Behaviour in Distributed System... |
153
click to vote
ATAL
2007
Springer
15 years 10 months ago
2007
Springer
The vision of ubiquitous computing is one in which resource constrained mobile devices form ad-hoc networks to enable the delivery of services that are sensitive and responsive to...
143
click to vote
BIRTHDAY
2005
Springer
15 years 11 months ago
2005
Springer
This paper proposes a Compiled Labelled Deductive System, called ACCLDS, for reasoning about role-based access control in distributed systems, which builds upon Massacci’s tablea...
275
click to vote
LOGCOM
1998
15 years 5 months ago
1998
Perhaps the most successful agent architectures, and certainly the best known, are those based on the Belief-Desire-Intention (BDI) framework. Despite the wealth of research that ...
146
click to vote
ECAI
2004
Springer
15 years 11 months ago
2004
Springer
This paper presents an architecture that helps users to collect and qualify meta-information about web resources within a weblog and then share them with a group of people. Our arc...
168
click to vote
TGC
2007
Springer
16 years 1 days ago
2007
Springer
Abstract We present ML5, a high level programming language for spatially distributed computing. The language, a variant of ML, allows an entire distributed application to be develo...