438 search results - page 29 / 88 » Component Based Multi-Agent System Modeling and Analysis: A ... |
ADAEUROPE
2008
Springer
13 years 11 months ago
2008
Springer
The Ravenscar profile for Ada enforces several restrictions on the usage of general-purpose tasking constructs, thereby facilitating most analysis tasks and in particular functiona...
ICSEA
2007
IEEE
14 years 3 months ago
2007
IEEE
Knowledge management is the key area of focus in the present information technology scenario. It forms a basis to derive standards and models and steers organizations through an e...
GRID
2008
Springer
13 years 10 months ago
2008
Springer
Network performance measurement and prediction is one of the most prominent and indispensable components in distributed computing environments. The selection of the most advantage...
ENTCS
2007
13 years 9 months ago
2007
This paper promotes compositional reasoning in the context of safety-critical systems, and demonstrates a safety-oriented component model using an application from the automotive ...
CAISE
2010
Springer
13 years 10 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...