277 search results - page 38 / 56 » Towards Semantic Modeling of Network Physical Devices |
COORDINATION
2008
Springer
14 years 11 months ago
2008
Springer
We present the -calculus, a process calculus for formally modeling and reasoning about Mobile Ad Hoc Wireless Networks (MANETs) and their protocols. The -calculus naturally capture...
USENIX
1994
14 years 11 months ago
1994
Despite impressive advances in file system throughput resulting from technologies such as high-bandwidth networks and disk arrays, file system latency has not improved and in many...
IEEEARES
2008
IEEE
15 years 4 months ago
2008
IEEE
—Enterprise computing is moving towards more open, collaborative systems. Joining a business network must be made efficient, despite the technical and semantic interoperability ...
120
click to vote
RTAS
2002
IEEE
15 years 2 months ago
2002
IEEE
Large-scale wireless sensor networks represent a new generation of real-time embedded systems with significantly different communication constraints from traditional networked sys...
172
click to vote
VLDB
2008
ACM
15 years 10 months ago
2008
ACM
With the development of inexpensive storage devices, space usage is no longer a bottleneck for computer users. However, the increasingly large amount of personal information poses ...