Sciweavers

1781 search results - page 280 / 357
» Visualizing program execution using user abstractions
Sort
View
PERCOM
2010
ACM
15 years 18 days ago
UpperWare: Bringing resources back to the system
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...
Francisco J. Ballesteros, Gorka Guardiola, Enrique...
105
Voted
UTP
2010
15 years 1 days ago
Unifying Theories of Confidentiality
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...
Michael J. Banks, Jeremy L. Jacob
115
Voted
WSC
2004
15 years 3 months ago
Implementing the High Level Architecture in the Virtual Test Bed
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...
José A. Sepúlveda, Luis C. Rabelo, J...
113
Voted
INFOCOM
2008
IEEE
15 years 8 months ago
Multicast Tree Diameter for Dynamic Distributed Interactive Applications
Abstract—Latency reduction in distributed interactive applications has been studied intensively. Such applications may have stringent latency requirements and dynamic user groups...
Knut-Helge Vik, Pål Halvorsen, Carsten Griwo...
93
Voted
CBSE
2006
Springer
15 years 6 months ago
Virtualization of Service Gateways in Multi-provider Environments
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 ...
Yvan Royon, Stéphane Frénot, Frederi...