10159 search results - page 673 / 2032 » System Design Validation Using Formal Models |
197
click to vote
ATAL
2008
Springer
15 years 9 months ago
2008
Springer
Service-Oriented Computing and Agent Technology are nowadays two of the most active research fields in distributed and open systems. However, when trying to bridge the two worlds,...
237
click to vote
CAISE
2010
Springer
15 years 8 months ago
2010
Springer
Abstract As service-based Internet systems get increasingly complex they become harder to manage at design time as well as at runtime. Nowadays, many systems are described in terms...
221
click to vote
CRV
2009
IEEE
16 years 2 months ago
2009
IEEE
This paper presents an integrated modeling system capable of generating coloured three dimensional representations of a scene observed from multiple viewpoints. Emphasis is given ...
200
Voted
AAECC
2007
Springer
15 years 7 months ago
2007
Springer
We present a simulation-based performance model to analyze a parallel sparse LU factorization algorithm on modern cached-based, high-end parallel architectures. We consider supern...
180
click to vote
ATAL
2005
Springer
16 years 1 months ago
2005
Springer
Multi-agent systems are now being considered a promising architectural approach for building Internet-based applications. One of the most critical and important aspects of softwar...