1833 search results - page 242 / 367 » Mechanized Verification with Sharing |
160
click to vote
SENSYS
2009
ACM
16 years 1 months ago
2009
ACM
Network protocols are typically designed and tested individually. In practice, however, applications use multiple protocols concurrently. This discrepancy can lead to failures fro...
171
click to vote
IEEEARES
2007
IEEE
16 years 23 days ago
2007
IEEE
Abstract— Following Mark Weiser’s vision of ubiquitous computing and calm technology, computer systems should run in the background, preferably without the user noticing it at ...
173
click to vote
VRST
1998
ACM
15 years 10 months ago
1998
ACM
Distributed virtual environments allow users at di erent geographical locations to share and interact within a common virtual environment via a local network or through the Intern...
334
click to vote
INFOCOM
2011
IEEE
14 years 10 months ago
2011
IEEE
—Cloud Computing has great potential of providing robust computational power to the society at reduced cost. It enables customers with limited computational resources to outsourc...
174
click to vote
DAC
2001
ACM
16 years 7 months ago
2001
ACM
Milenko Drinic UCLA Computer Science Dep. 4732 Boelter Hall Los Angeles, CA 90095-1596 milenko@cs.ucla.edu Darko Kirovski Microsoft Research One Microsoft Way Redmond, WA 98052 da...