16 search results - page 3 / 4 » Accelerating Simulation of Large-Scale IP Networks: A Networ... |
JSC
2010
13 years 3 days ago
2010
A uniform verification problem for parameterized systems is to determine whether a temporal property is satisfied for every instance of the system which is composed of an arbitrar...
P2P
2008
IEEE
13 years 11 months ago
2008
IEEE
We propose an efficient framework for enabling secure multi-party numerical computations in a Peer-to-Peer network. This problem arises in a range of applications such as collabo...
MOBIHOC
2008
ACM
14 years 4 months ago
2008
ACM
Wireless LAN (WLAN) radios conserve energy by staying in sleep mode. With real-time applications like VoIP, it is not clear how much energy can be saved by this approach since pac...
BMCBI
2010
13 years 5 months ago
2010
Background: The amount of available biological information is rapidly increasing and the focus of biological research has moved from single components to networks and even larger ...
PERCOM
2010
ACM
13 years 3 months ago
2010
ACM
—Mobile devices are becoming the largest sensor network around the world. They could be used to collect a large amount of data with little effort and cost which is leading to a p...