335 search results - page 26 / 67 » The Compositional Construction of Markov Processes |
140
click to vote
ASAP
2003
IEEE
15 years 11 months ago
2003
IEEE
— In industry, embedded systems for stream-based processing are often modelled and verified by using process networks, such as Kahn process networks. An advantage of Kahn networ...
162
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
We present a numerical approximation technique for the analysis of continuous-time Markov chains that describe networks of biochemical reactions and play an important role in the ...
143
click to vote
GPCE
2007
Springer
15 years 9 months ago
2007
Springer
Large scale software is composed of libraries produced by different entities. Non-intrusive and efficient mechanisms for adapting data structures from one library to conform to AP...
163
click to vote
EWSPT
2003
Springer
15 years 10 months ago
2003
Springer
Long-lived, architecture-based software systems are increasingly important. Effective process support for these systems depends upon recognising their compositional nature and the ...
207
click to vote
CSFW
2000
IEEE
15 years 10 months ago
2000
IEEE
Some of the non interference properties studied in [4, 6, 18] for information flow analysis in computer systems, notably Æ , are reformulated here in a realtime setting. This is...