1704 search results - page 276 / 341 » Design of a Concurrent and Distributed Language |
100
click to vote
CCS
2005
ACM
15 years 3 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...
ISPA
2005
Springer
15 years 3 months 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...
GRID
2004
Springer
15 years 3 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...
ICSM
2003
IEEE
15 years 3 months 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...
ATAL
2003
Springer
15 years 3 months 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...