434 search results - page 80 / 87 » A Distributed and Probabilistic Concurrent Constraint Progra... |
SAC
2004
ACM
14 years 1 months ago
2004
ACM
Being E-commerce one of the most critical Internet application, it is fundamental to employ technologies which guarantee not only secure transactions but also an adequate quality ...
REFLECTION
2001
Springer
14 years 4 days ago
2001
Springer
Abstract. Using mobile agent systems, cooperative distributed applications that run over the Internet can be constructed flexibly. However, there are some problems: it is difficul...
OTM
2005
Springer
14 years 1 months ago
2005
Springer
Object mobility is the basis for highly dynamic distributed applications. This paper presents the design and implementation of mobile objects on the basis of the CORBA standard. Ou...
IJCSA
2006
13 years 7 months ago
2006
The Dynamic Host Configuration Protocol (DHCP) is a widely used communication protocol. In this paper, a portion of the protocol is chosen for modeling and verification, namely th...
JOT
2007
13 years 7 months ago
2007
Agents Interaction Protocols (AIPs) play a crucial role in multi-agents systems development. They allow specifying sequences of messages between agents. Major proposed protocols s...