7557 search results - page 1332 / 1512 » Modeling Timed Concurrent Systems |
214
click to vote
MIDDLEWARE
2005
Springer
16 years 6 days ago
2005
Springer
Pervasive and ad hoc computing applications are frequently deployed in dynamic networks. Due to mobility of the computing nodes, their unreliability, or a limited communication ra...
197
Voted
NOSSDAV
2005
Springer
16 years 6 days ago
2005
Springer
Service overlay networks have recently attracted tremendous interests. In this paper, we propose a new integrated framework for specifying services composed of service components ...
194
click to vote
PCI
2005
Springer
16 years 5 days ago
2005
Springer
Security incident management is one of the critical areas that offers valuable information to security experts, but still lacks much development. Currently, several security incide...
168
click to vote
WDAG
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. The vast majority of papers on distributed computing assume that processes are assigned unique identifiers before computation begins. But is this assumption necessary? W...
140
click to vote
ASIACRYPT
2004
Springer
16 years 3 days ago
2004
Springer
d abstract) Bartosz Przydatek1 and Reto Strobl2 1 Department of Computer Science, ETH Z¨urich, Switzerland 2 IBM Research, Zurich Research Laboratory, Switzerland In this paper, w...