4957 search results - page 944 / 992 » Simplifying Distributed System Development |
124
Voted
HUC
2003
Springer
15 years 7 months ago
2003
Springer
The movement of design out of the workplace and into the home brings with it the need to develop new analytic concepts to consider how ubiquitous computing might relate to and supp...
124
click to vote
DSN
2002
IEEE
15 years 7 months ago
2002
IEEE
Model checking has been introduced as an automated technique to verify whether functional properties, expressed in a formal logic like computational tree logic (CTL), do hold in a...
136
click to vote
INFOCOM
2000
IEEE
15 years 6 months ago
2000
IEEE
—Allocating resources for multimedia traffic flows with real-time performance requirements is an important challenge for future packet networks. However, in large-scale networks,...
108
Voted
VLDB
1997
ACM
15 years 6 months ago
1997
ACM
The current integrated developments in network and computing give rise to a technical infrastructure for the information society which one may variously circumscribe by terms such...
116
click to vote
MOBISYS
2010
ACM
15 years 4 months ago
2010
ACM
This paper develops a navigation service, called GreenGPS, that uses participatory sensing data to map fuel consumption on city streets, allowing drivers to find the most fueleffi...