Sciweavers

1243 search results - page 92 / 249
» Operating System Support for Distributed Multimedia
Sort
View
120
Voted
ATAL
2008
Springer
15 years 3 months ago
A distributed normative infrastructure for situated multi-agent organisations
In most of the existing approaches to the design of multiagent systems, there is no clear way in which to relate organisational and normative structures to the model of the enviro...
Fabio Y. Okuyama, Rafael H. Bordini, Antônio...
DATE
2008
IEEE
121views Hardware» more  DATE 2008»
15 years 3 months ago
Constraint Refinement for Online Verifiable Cross-Layer System Adaptation
Adaptive resource management is critical to ensuring the quality of real-time distributed applications, particularly for energy-constrained mobile handheld devices. In this contex...
Minyoung Kim, Mark-Oliver Stehr, Carolyn L. Talcot...
IUI
2004
ACM
15 years 7 months ago
Sheepdog: learning procedures for technical support
Technical support procedures are typically very complex. Users often have trouble following printed instructions describing how to perform these procedures, and these instructions...
Tessa A. Lau, Lawrence D. Bergman, Vittorio Castel...
AICCSA
2001
IEEE
112views Hardware» more  AICCSA 2001»
15 years 5 months ago
Implementation of DDARC: Software Architecture for Debugging Distributed Programs
Debugging and testing is a larger part of the effort spent in a software development cycle. Debugging a program is time consuming and is a continuous cycle of code modification an...
Sushma Rai, D. Sampath, Srivathsa N. S.
ESORICS
2009
Springer
16 years 2 months ago
Towards a Theory of Accountability and Audit
Accountability mechanisms, which rely on after-the-fact verification, are an attractive means to enforce authorization policies. In this paper, we describe an operational model of ...
Radha Jagadeesan, Alan Jeffrey, Corin Pitcher, Jam...