Sciweavers

336 search results - page 11 / 68
» Enhancing Dependability of Component-Based Systems
Sort
View
E4MAS
2006
Springer
14 years 1 months ago
Enhancing the Environment with a Law-Governed Service for Monitoring and Enforcing Behavior in Open Multi-Agent Systems
Environment is an essential part of any multi-agent system (MAS), since it provides the surrounding conditions for agents to exist. For some sort of systems, the environment can be...
Rodrigo B. de Paes, Gustavo R. de Carvalho, Ma&iac...
ATAL
2010
Springer
13 years 11 months ago
CTL.STIT: enhancing ATL to express important multi-agent system verification properties
We present the logic CTL.STIT, which is the join of the logic CTL with a multi-agent strategic stit-logic variant. CTL.STIT subsumes ATL, and adds expressivity to it that we claim...
Jan Broersen
DSN
2007
IEEE
14 years 4 months ago
Enhanced Reliability Modeling of RAID Storage Systems
A flexible model for estimating reliability of RAID storage systems is presented. This model corrects errors associated with the common assumption that system times to failure fol...
Jon G. Elerath, Michael Pecht
PDPTA
2003
13 years 11 months ago
Dependability Prediction of High Availability OSCAR Cluster Server
High availability (HA) computing has recently gained much attention, especially in enterprise and mission critical systems. The HA is now a necessity that is no longer regarded as...
Chokchai Leangsuksun, Lixin Shen, Tong Liu, Herton...
ICIP
2007
IEEE
14 years 4 months ago
Propagating Image-Level Part Statistics to Enhance Object Detection
The bag-of-words approach has become increasingly attractive in the fields of object category recognition and scene classification, witnessed by some successful applications [5, 7...
Sheng Gao, Joo-Hwee Lim, Qibin Sun