509 search results - page 29 / 102 » A Model-Driven Based Environment for Automatic Model Coordin... |
ICPADS
2008
IEEE
14 years 5 months ago
2008
IEEE
The use of good random numbers is essential to the integrity of many mission-critical systems. However, when such systems are replicated for Byzantine fault tolerance, a serious i...
NDSS
2009
IEEE
14 years 5 months ago
2009
IEEE
Coordinated attacks, where the tasks involved in an attack are distributed amongst multiple sources, can be used by an adversary to obfuscate his incursion. In this paper we prese...
ATAL
2007
Springer
14 years 4 months ago
2007
Springer
This paper presents a multi-agent framework designed to simulate synthetic humans that properly balance task oriented and social behaviors. The work presented in this paper focuses...
ATVA
2006
Springer
14 years 2 months ago
2006
Springer
Abstract. Compositional reasoning aims to improve scalability of verification tools by reducing the original verification task into subproblems. The simplification is typically bas...
CAISE
2005
Springer
14 years 4 months ago
2005
Springer
The rise of the number and complexity of pervasive systems is a fact. Pervasive systems developers need advanced development methods in order to build better systems in an easy way...