3104 search results - page 444 / 621 » Using quantitative analysis to implement autonomic IT system... |
155
click to vote
TAPSOFT
1995
Springer
15 years 8 months ago
1995
Springer
Starting from the process algebra for Concurrent ML we develop two program analyses that facilitate the intelligent placement of processes on processors. Both analyses are obtaine...
149
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 ...
169
click to vote
JUCS
2000
15 years 4 months ago
2000
: Embedded Computer-based Systems are becoming highly complex and hard to implement because of the large number of concerns the designers have to address. These systems are tightly...
166
Voted
TCS
2002
15 years 4 months ago
2002
This paper explores the application of rewriting logic to the executable formal modeling of real-time and hybrid systems. We give general techniques by which such systems can be s...
144
Voted
JSW
2007
15 years 4 months ago
2007
— We propose a novel framework for building a distributed data acquisition and monitoring system. Our novel framework is mainly based on XML leverages and OPC (Openness, Producti...