2057 search results - page 230 / 412 » Distributed Secure Systems: Then and Now |
123
click to vote
ICCSA
2009
Springer
15 years 11 months ago
2009
Springer
A mobile agent is regarded as an attractive technology when developing distributed applications in mobile and ubiquitous computing environments. In this paper, we present ODDUGI, a...
156
click to vote
SIGECOM
2004
ACM
15 years 9 months ago
2004
ACM
The increasing popularity of resource exchange through peerto-peer networks has encouraged the development of ways to support more complex commercial transactions over these netwo...
156
click to vote
SIGMETRICS
2008
ACM
15 years 4 months ago
2008
ACM
Probabilistic model checking is a formal verification framework for systems which exhibit stochastic behaviour. It has been successfully applied to a wide range of domains, includ...
139
click to vote
FCCM
2004
IEEE
15 years 8 months ago
2004
IEEE
Current high-performance applications are typically implemented on large-scale general-purpose distributed or multiprocessing systems often based on commodity microprocessors. Fie...
138
click to vote
ATAL
2004
Springer
15 years 9 months ago
2004
Springer
Distributed multi-agent systems require naming services to locate and communicate with remote agents. In this paper we focus on the design and implementation of the “White Pages...