1781 search results - page 280 / 357 » Visualizing program execution using user abstractions |
PERCOM
2010
ACM
13 years 7 months ago
2010
ACM
If we expect the computer to vanish in the background, to make pervasive computing a reality, first we must be able to provide the illusion that all the user’s computers, devic...
UTP
2010
13 years 6 months ago
2010
Abstract. This paper presents a framework for reasoning about the security of confidential data within software systems. A novelty is that we use Hoare and He's Unifying Theor...
WSC
2004
13 years 10 months ago
2004
The Virtual Test Bed (VTB) is a prototype of a virtual engineering environment to study operations of current and future space vehicles, spaceports, and ranges. The HighLevel Arch...
INFOCOM
2008
IEEE
14 years 3 months ago
2008
IEEE
Abstract—Latency reduction in distributed interactive applications has been studied intensively. Such applications may have stringent latency requirements and dynamic user groups...
CBSE
2006
Springer
14 years 18 days ago
2006
Springer
Abstract. Today we see more and more services being brought to connected homes, such as entertainment or home automation. These services are published and operated by a variety of ...