1704 search results - page 276 / 341 » Design of a Concurrent and Distributed Language |
222
click to vote
CCS
2005
ACM
16 years 23 days 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
ISPA
2005
Springer
16 years 21 days ago
2005
Springer
Abstract. HPJava is an environment for scientific and parallel programming using Java. It is based on an extended version of the Java language. One feature that HPJava adds to Jav...
189
click to vote
GRID
2004
Springer
16 years 18 days 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...
171
click to vote
ICSM
2003
IEEE
16 years 15 days ago
2003
IEEE
The distributed development and maintenance paradigm for component delivery is fraught with problems. One wants a relationship between developers and clients that is autonomous an...
173
click to vote
ATAL
2003
Springer
16 years 13 days ago
2003
Springer
This paper studies argumentation-based dialogues between agents. It takes a previously defined system by which agents can trade arguments and examines the outcomes of the dialogu...