6808 search results - page 974 / 1362 » Distributed Concurrency Control |
129
click to vote
SAC
2004
ACM
15 years 10 months ago
2004
ACM
This paper aims to describe the relationship between propositional planning systems and the process of means-end reasoning used by BDI agents. To show such relationship, we defin...
140
click to vote
SC
2004
ACM
15 years 10 months ago
2004
ACM
This paper describes our experiences in the development of the UDP-based Data Transport (UDT) protocol, an application level transport protocol used in distributed data intensive ...
147
click to vote
SWS
2004
ACM
15 years 10 months ago
2004
ACM
Virtual Organization (VO) is a collection of users and distributed resources, in which resources are shared by users. Creating VOs is very important task in Grid computing. VOs ar...
141
click to vote
IFM
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We describe how CSP-OZ, an integrated formal method combining the process algebra CSP with the specification language Object-Z, can be linked to standard software engine...
172
click to vote
PET
2004
Springer
15 years 10 months ago
2004
Springer
There are a variety of well-known models for access control developed for purposes like formally modeling the access rights on files, databases, and web resources. However, the ex...