9842 search results - page 735 / 1969 » Compositional timing analysis |
220
click to vote
SOCO
2007
Springer
16 years 1 months ago
2007
Springer
Contemporary software systems are composed of many components, which, in general, undergo phased and incremental development. In order to facilitate the corresponding construction ...
218
click to vote
TACAS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Our main objective is to combine partial-order methods with verification techniques for infinite-state systems in order to obtain efficient verification algorithms fo...
233
click to vote
AICT
2006
IEEE
16 years 1 months ago
2006
IEEE
Web Services are becoming the prominent paradigm for distributed computing and electronic businesses. This makes natural the extension of the concepts at the base of the workflow ...
208
click to vote
ICMCS
2006
IEEE
16 years 1 months ago
2006
IEEE
The successful deployment of peer-to-peer (P2P) live video streaming systems has practically demonstrated that it can scale to reliably support a large population of peers. Howeve...
300
click to vote
LAWEB
2006
IEEE
16 years 1 months ago
2006
IEEE
Complex applications, in particular Web applications, deal with a myriad of different concerns and some of them affect several others. The result is that these crosscutting concer...