1268 search results - page 231 / 254 » Verifying distributed systems: the operational approach |
SAC
2005
ACM
14 years 3 months ago
2005
ACM
This paper presents an approach to integrate publish/subscribe semantics with on-demand multicast in wireless ad hoc networks, providing dynamic group communication with fine-gra...
MOBIQUITOUS
2008
IEEE
14 years 4 months ago
2008
IEEE
Mobile ad hoc networks can be leveraged to provide ubiquitous services capable of acquiring, processing, and sharing real-time information from the physical world. Unlike Internet...
PKDD
1998
Springer
14 years 2 months ago
1998
Springer
TextVis is a visual data mining system for document collections. Such a collection represents an application domain, and the primary goal of the system is to derive patterns that p...
SRDS
2008
IEEE
14 years 4 months ago
2008
IEEE
We present an empirical study of the resistance of several protocols to denial of service (DoS) attacks on client-server communication. We show that protocols that use authenticat...
ICISC
2004
13 years 11 months ago
2004
Abstract. The proliferation of group-centric computing and communication motivates the need for mechanisms to provide group access control. Group access control includes mechanisms...