1268 search results - page 231 / 254 » Verifying distributed systems: the operational approach |
178
click to vote
SAC
2005
ACM
15 years 11 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...
192
click to vote
MOBIQUITOUS
2008
IEEE
16 years 12 days 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...
188
click to vote
PKDD
1998
Springer
15 years 10 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...
151
click to vote
SRDS
2008
IEEE
16 years 12 days 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...
171
click to vote
ICISC
2004
15 years 7 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...