1635 search results - page 171 / 327 » DIPC: A System Software Solution for Distributed Programming |
131
Voted
ISER
2004
Springer
15 years 8 months ago
2004
Springer
This paper reports on experiments conducted as part of the DARPA SDR (Software for Distributed Robotics) program. The core challenge for this program is to develop a system capable...
140
click to vote
CCS
2005
ACM
15 years 8 months ago
2005
ACM
We study formal security properties of network-attached storage (NAS) in an applied pi calculus. We model NAS as an implementation of a specification based on traditional central...
176
click to vote
ECOOP
2000
Springer
15 years 7 months ago
2000
Springer
We have recently shown how use cases can be systematically transformed into UML state charts considering all relevant information from a use case specification, including pre- and ...
115
click to vote
INFSOF
1998
15 years 2 months ago
1998
This paper presents a logic based language, SAFIN, for developing networked software agents. It integrates agent-oriented programming, KQML and basic mobile techniques to support ...
121
Voted
IAT
2006
IEEE
15 years 8 months ago
2006
IEEE
Combinatorial Auctions (CAs), where users bid on combination of items, have emerged as a useful tool for resource allocation in distributed systems. However, two main difficulties...