Sciweavers

3844 search results - page 369 / 769
» Modular interpreted systems
Sort
View
ICSE
2004
IEEE-ACM
16 years 5 months ago
Efficient Decentralized Monitoring of Safety in Distributed Systems
We describe an efficient decentralized monitoring algorithm that monitors a distributed program's execution to check for violations of safety properties. The monitoring is ba...
Koushik Sen, Abhay Vardhan, Gul Agha, Grigore Rosu
EUROSEC
2009
ACM
15 years 11 months ago
QuanTM: a quantitative trust management system
Quantitative Trust Management (QTM) provides a dynamic interpretation of authorization policies for access control decisions based on upon evolving reputations of the entities inv...
Andrew G. West, Adam J. Aviv, Jian Chang, Vinayak ...
164
Voted
WOWMOM
2009
ACM
180views Multimedia» more  WOWMOM 2009»
15 years 11 months ago
OPPORTUNITY: Towards opportunistic activity and context recognition systems
Opportunistic sensing allows to efficiently collect information about the physical world and the persons behaving in it. This may mainstream human context and activity recognitio...
Daniel Roggen, Kilian Förster, Alberto Calatr...
IEEEAMS
2003
IEEE
15 years 10 months ago
Programming Systems for Autonomy
This paper describes a new approach to programming autonomic systems. Autonomic functions are integrated into element objects at design time using a special language called JSpoon...
Alexander V. Konstantinou, Yechiam Yemini
SIGIR
1998
ACM
15 years 9 months ago
DOLORES: A System for Logic-Based Retrieval of Multimedia Objects
We describe the design and implementation of a system for logic-based multimedia retrieval. As highlevel logic for retrieval of hypermedia documents, we have developed a probabilis...
Norbert Fuhr, Norbert Gövert, Thomas Röl...