146 search results - page 24 / 30 » Typing communicating component assemblages |
CF
2004
ACM
13 years 11 months ago
2004
ACM
There is a sustained trend to embed computer systems in all kinds of intelligent products. Increasing emphasis is given to enhance the functionality of such systems beyond the pro...
CAV
2006
Springer
13 years 11 months ago
2006
Springer
We present an approach for applying symmetry reduction techniques to probabilistic model checking, a formal verification method for the quantitative analysis of systems with stocha...
ASPDAC
2001
ACM
13 years 11 months ago
2001
ACM
ct,. In this paper we study the delay associated with transmission of data through busses. Previous work in this area has presented models for delay assuming a distributed wire mqd...
ICDCS
2000
IEEE
13 years 11 months ago
2000
IEEE
Widely deployed multimedia services are expected to accommodate clients in a highly heterogeneous environment. Clients of a multimedia service may vary greatly in processing and c...
PTS
2003
13 years 9 months ago
2003
Distributed test setups for efficient load, performance, scalability, interworking, and end-to-end tests are gaining importance for the assessment of distributed communicating syst...