Sciweavers

1243 search results - page 188 / 249
» Operating System Support for Distributed Multimedia
Sort
View
WADT
1998
Springer
15 years 5 months ago
An Algebra of Graph Derivations Using Finite (co-) Limit Double Theories
Graph transformation systems have been introduced for the formal specification of software systems. States are thereby modeled as graphs, and computations as graph derivations acco...
Andrea Corradini, Martin Große-Rhode, Reiko ...
SAC
2008
ACM
15 years 27 days ago
A service architecture for sensor data provisioning for context-aware mobile applications
One of the main issues that inhibit the development of contextaware mobile applications is the lack of systematic methods for sensor data acquisition. This lack, however, is a res...
Bernardo Gonçalves, José Gonç...
SACMAT
2003
ACM
15 years 6 months ago
On context in authorization policy
Authorization policy infrastructures are evolving with the complex environments that they support. However, the requirements and technologies supporting context are not yet well u...
Patrick Drew McDaniel
SOSP
2005
ACM
15 years 10 months ago
BAR fault tolerance for cooperative services
This paper describes a general approach to constructing cooperative services that span multiple administrative domains. In such environments, protocols must tolerate both Byzantin...
Amitanand S. Aiyer, Lorenzo Alvisi, Allen Clement,...
SOSP
2003
ACM
15 years 10 months ago
Model-carrying code: a practical approach for safe execution of untrusted applications
This paper presents a new approach called model-carrying code (MCC) for safe execution of untrusted code. At the heart of MCC is the idea that untrusted code comes equipped with a...
R. Sekar, V. N. Venkatakrishnan, Samik Basu, Sande...