2836 search results - page 209 / 568 » Model Checking for Software Architectures |
148
click to vote
ESAW
2000
Springer
15 years 8 months ago
2000
Springer
We present a first approach that combines the mobile agent and the compositional paradigms into a new agent-based compositional model. The aim of this work is to explore the capabi...
171
click to vote
WSTFEUS
2003
IEEE
15 years 9 months ago
2003
IEEE
SCA (Software Communication Architecture), which has been adopted as a SDR (Software Defined Radio) Forum standard, provides a framework that successfully exploits common design p...
188
click to vote
ICSE
2009
IEEE-ACM
16 years 5 months ago
2009
IEEE-ACM
Process models capture tasks performed by agents together with their control flow. Building and analyzing such models is important but difficult in certain areas such as safety-cr...
130
click to vote
ICFEM
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. CSP is a well-established formalism for modelling and verification of concurrent reactive systems based on refinement. Consolidated denotational models and an effective t...
144
click to vote
JSS
2006
15 years 4 months ago
2006
In this work, we propose a visual, custom-designed, event-driven interconnect simulation framework to evaluate the performance of off-chip multi-processor/memory communications ar...