Sciweavers

6834 search results - page 295 / 1367
» The Fail-Heterogeneous Architectural Model
Sort
View
COOPIS
2004
IEEE
15 years 10 months ago
Model-Driven Dependability Analysis of WebServices
This paper focuses on the development of a principled methodology for the dependability analysis of composite Web services. The first step of the methodology involves a UML represe...
Apostolos Zarras, Panos Vassiliadis, Valéri...
CONCUR
2008
Springer
15 years 8 months ago
Completeness and Nondeterminism in Model Checking Transactional Memories
Software transactional memory (STM) offers a disciplined concurrent programming model for exploiting the parallelism of modern processor architectures. This paper presents the firs...
Rachid Guerraoui, Thomas A. Henzinger, Vasu Singh
DAGSTUHL
2007
15 years 8 months ago
Normative Multi-Agent Organizations: Modeling, Support and Control, Draft Version
Abstract. In the last years, social and organizational aspects of agency have become a major issue in multi-agent systems’ research. Recent applications of MAS enforce the need o...
Olivier Boissier, Benjamin Gâteau
SEC
2008
15 years 8 months ago
A Fuzzy Model for the Composition of Intrusion Detectors
The performance of an intrusion detector depends on several factors, like its internal architecture and the algorithms it uses. Thus, distinct detectors can behave distinctly when ...
Inez Raguenet, Carlos Maziero
FLAIRS
2004
15 years 8 months ago
PIModel: A Pragmatic ITS Model Based on Instructional Automata Theory
It is a vital and challenging issue in AI community to get the "Right Information" to the "Right People" in the "Right Language" in the "Right T...
Jinxin Si, Xiaoli Yue, Cungen Cao, Yuefei Sui