974 search results - page 118 / 195 » Formal Modeling of Communication Traces |
INFOCOM
2009
IEEE
15 years 6 months ago
2009
IEEE
Abstract—In large-scale peer-to-peer (P2P) live streaming systems with a limited supply of server bandwidth, increasing the amount of upload bandwidth supplied by peers becomes c...
103
click to vote
SAC
2005
ACM
15 years 5 months ago
2005
ACM
The launch of new features for mobile phones is increasing and the product life cycle symmetrically decreasing in duration as higher levels of sophistication are reached. Therefor...
104
click to vote
CODES
2007
IEEE
15 years 3 months ago
2007
IEEE
The synchronous computational model with its simple computation and communication mechanism makes it easy to describe, simulate and formally verify synchronous embedded systems at...
INFOCOM
2006
IEEE
15 years 5 months ago
2006
IEEE
— The inherent trade-off between energy-efficiency and rapidity of event dissemination is characteristic for wireless sensor networks. Scarcity of energy renders it necessary fo...
MOBICOM
1998
ACM
15 years 3 months ago
1998
ACM
CT In order to support location-aware applications it is necessary to locate people and equipment in near real-time. To avoid unnecessary exposure of details of the underlying trac...