Sciweavers

4445 search results - page 132 / 889
» Reflective Authorization Systems
Sort
View
IEE
2008
117views more  IEE 2008»
15 years 4 months ago
Formal verification of systems with an unlimited number of components
1 2 3 In many real component-based systems and patterns of component interaction, there can be identified a stable part (like control component, server, instance handler) and a nu...
Pavlína Vareková, Barbora Zimmerova,...
CAISE
2009
Springer
15 years 11 months ago
Pattern Mining in System Logs: Opportunities for Process Improvement
Enterprise systems implementations are often accompanied by changes in the business processes of the organizations in which they take place. However, not all the changes are desira...
Dolev Mezebovsky, Pnina Soffer, Ilan Shimshoni
IPPS
2006
IEEE
15 years 10 months ago
Plan-based replication for fault-tolerant multi-agent systems
The growing importance of multi-agent applications and the need for a higher quality of service in these systems justify the increasing interest in fault-tolerant multi-agent syst...
Alessandro de Luna Almeida, Samir Aknine, Jean-Pie...
PRIMA
2004
Springer
15 years 9 months ago
A Distributed Workflow System with Autonomous Components
This paper describes the architecture of a distributed workflow management system in a dynamic environment. The system features autonomous agent components that can adapt to both s...
Maryam Purvis, Martin K. Purvis, Azhar Haidar, Bas...
HICSS
2005
IEEE
146views Biometrics» more  HICSS 2005»
15 years 10 months ago
Maintaining Continuous Dependability in Sensor-Based Context-Aware Pervasive Computing Systems
Sensors are often indicative of events of interest, or events which a system should be aware of and should react to. In particular, such indications may reflect unsteadiness or in...
Amir Padovitz, Arkady B. Zaslavsky, Seng Wai Loke,...