119 search results - page 5 / 24 » Verification Architectures: Compositional Reasoning for Real... |
VLDB
1998
ACM
13 years 11 months ago
1998
ACM
Telecommunication networks process verylarge numbers of events in real time. In this environment, database applications demand both high throughput (at reasonable costs), and pred...
EUROMICRO
2004
IEEE
13 years 11 months ago
2004
IEEE
This paper addresses the prediction of timing properties of a component-based application already during the composition phase. At this stage, it is of vital importance to guarant...
CBSE
2006
Springer
13 years 11 months ago
2006
Springer
We present a novel approach which facilitates formal verification of component-based software application families using model checking. This approach enables effective composition...
DALT
2009
Springer
13 years 11 months ago
2009
Springer
This paper generalises the theory of agent refinement from [1] to multi-agent systems in the presence of new coordination mechanisms extended with real time. The generalisation is ...
COMPSAC
2004
IEEE
13 years 11 months ago
2004
IEEE
Verifying Web Services (WS) in a dynamic Service Oriented Architecture (SOA) is challenging because new services can be composed at runtime using existing WS. Furthermore, in a co...