2836 search results - page 191 / 568 » Model Checking for Software Architectures |
166
click to vote
ERSA
2003
15 years 5 months ago
2003
The Software Communications Architecture (SCA), a mandatory specification for Software Radio implementations by the Joint Tactical Radio System (JTRS), defines a Common Object R...
125
click to vote
SEFM
2009
IEEE
15 years 11 months ago
2009
IEEE
—This paper addresses the issue of guaranteeing the correctness of fault diagnosis mechanisms in multi-agent systems. We propose an automated approach to verifying the property o...
127
click to vote
ADAEUROPE
2008
Springer
15 years 6 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...
133
click to vote
WICSA
2004
15 years 5 months ago
2004
Over the past decade a number of architecture description languages (ADLs) have been proposed to facilitate modeling and analysis of software architecture. While each claims to ha...
245
click to vote
VLDB
2003
ACM
16 years 4 months ago
2003
ACM
This paper describes the basic processing model and architecture of Aurora, a new system to manage data streams for monitoring applications. Monitoring applications differ substant...