4761 search results - page 770 / 953 » Performance of Protocols |
141
click to vote
ESORICS
2002
Springer
16 years 3 months ago
2002
Springer
We introduce the ISM approach, a framework for modeling and verifying reactive systems in a formal, even machine-checked, way. The framework has been developed for applications in ...
120
click to vote
PERCOM
2007
ACM
16 years 3 months ago
2007
ACM
People wish to enjoy their everyday lives in various ways, among which entertainment plays a major role. In order to improve lifestyle with more ready access to entertainment cont...
151
click to vote
MOBISYS
2004
ACM
16 years 3 months ago
2004
ACM
This paper discusses the software architecture of Impromptu, a mobile IP-based audio computing platform, with an associated set of network-based applications and services. Impromp...
132
click to vote
MOBIHOC
2006
ACM
16 years 3 months ago
2006
ACM
MLS is a distributed location service to track the position of mobile nodes and to route messages between any two nodes. The lookup of nodes is achieved by searching in a hierarch...
126
click to vote
DCC
2007
IEEE
16 years 3 months ago
2007
IEEE
In this paper, we address issues concerning bilevel image compression using JPEG2000. While JPEG2000 is designed to compress both bilevel and continuous tone image data using a sin...