Local area wireless networks are becoming commonplace in our everyday lives. It would be beneficial to establish such wireless networks in an ad-hoc manner so that they are infras...
Many emerging mobile wireless applications depend upon secure group communications, in which data is encrypted and the group's data encryption key is changed whenever a membe...
Chun Zhang, Brian DeCleene, James F. Kurose, Donal...
The lack of adequate Internet provision in rural areas is widening the digital divide between town and country. This is proving detrimental to social communication as well as the a...
Johnathan Ishmael, Sara Bury, Dimitrios P. Pezaros...
We propose a novel method for modular verification of web service compositions. We first use symbolic fixpoint computations to derive conditions on the incoming messages and relat...
Earlier work has demonstrated the effectiveness of in-network data aggregation in order to minimize the amount of messages exchanged during continuous queries in large sensor netwo...
Antonios Deligiannakis, Yannis Kotidis, Nick Rouss...