8501 search results - page 178 / 1701 » Reactive process networks |
111
click to vote
DISCEX
2003
IEEE
15 years 9 months ago
2003
IEEE
Dealing with damage that arises during operation of networked information systems is essential if such systems are to provide the dependability required by modern critical applica...
128
click to vote
SIGMETRICS
2003
ACM
15 years 9 months ago
2003
ACM
We introduce PRM (Probabilistic Resilient Multicast): a multicast data recovery scheme that improves data delivery ratios while maintaining low end-to-end latencies. PRM has both ...
158
click to vote
TPHOL
1998
IEEE
15 years 8 months ago
1998
IEEE
In this paper we illustrate the use of formal methods in the development of a benchmark application we call the Village Telephone System which is characteristic of a class of netwo...
130
click to vote
KESAMSTA
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. We describe and model a new aspect in the design of distributed information systems. We build upon a previously described problem on the microlevel, which asks how quickl...
125
click to vote
CAINE
2007
15 years 5 months ago
2007
We present multi-scale tracking features for the In Silico Liver (ISL) and their simulation results. The features were developed to support tracking of dynamic pharmacokinetic/pha...