2583 search results - page 206 / 517 » Internet Messaging Frameworks |
143
click to vote
CCS
2005
ACM
15 years 10 months ago
2005
ACM
This paper provides a formal framework for the analysis of information hiding properties of anonymous communication protocols in terms of epistemic logic. The key ingredient is ou...
151
click to vote
INFOCOM
2003
IEEE
15 years 10 months ago
2003
IEEE
— Battery power is an important resource in ad hoc networks. It has been observed that in ad hoc networks, energy consumption does not reflect the communication activities in th...
179
click to vote
ICFEM
2003
Springer
15 years 10 months ago
2003
Springer
Interacting State Machines (ISMs) are used to model reactive systems and to express and verify their properties. They can be seen both as automata exchanging messages simultaneousl...
147
click to vote
CIKM
2011
Springer
14 years 4 months ago
2011
Springer
We study the problem of detecting coordinated free text campaigns in large-scale social media. These campaigns – ranging from coordinated spam messages to promotional and advert...
149
click to vote
ICDE
2012
IEEE
13 years 7 months ago
2012
IEEE
— We consider how to support a large number of users over a wide-area network whose interests are characterized by range top-k continuous queries. Given an object update, we need...