2836 search results - page 316 / 568 » Model Checking for Software Architectures |
191
click to vote
FOSSACS
2001
Springer
15 years 9 months ago
2001
Springer
Hierarchical Message Sequence Charts are a well-established formalism to specify telecommunication protocols. In this model, numerous undecidability results were obtained recently ...
141
Voted
GECCO
2008
Springer
15 years 6 months ago
2008
Springer
Liveness properties in concurrent systems are, informally, those properties that stipulate that something good eventually happens during execution. In order to prove that a given ...
125
Voted
CODES
2000
IEEE
15 years 9 months ago
2000
IEEE
Frequency interleaving is introduced as a means of conceptualizing and co-scheduling hardware and software behaviors so that software models with conceptually unbounded state and ...
140
click to vote
EUROMICRO
2005
IEEE
15 years 10 months ago
2005
IEEE
This article addresses the utilisation of the componentbased approach for building and executing a distributed application that can offer services over a set of heterogeneous and ...
147
Voted
WWW
2004
ACM
16 years 5 months ago
2004
ACM
We present a software architecture to implement applications in the Semantic Web, based on designs specified in the Semantic Hypermedia Design Method (SHDM). This architecture sup...