824 search results - page 53 / 165 » Model-Based Monitoring of Dynamic Systems |
156
click to vote
DLS
2009
14 years 9 months ago
2009
Behavioral software contracts express properties concerning the flow of values across component (modules, classes, etc) interfaces. These properties are often beyond the reach of ...
107
click to vote
HPCC
2007
Springer
15 years 6 months ago
2007
Springer
As Grids become increasingly relied upon as critical infrastructure, it is imperative to ensure the highly-available and secure day-to-day operation of the Grid infrastructure. The...
108
click to vote
DSN
2006
IEEE
15 years 6 months ago
2006
IEEE
—Multithreaded servers with cache-coherent shared memory are the dominant type of machines used to run critical network services and database management systems. To achieve the h...
ERSA
2006
15 years 1 months ago
2006
This paper deals with the question of task communication and configuration dynamic management in the context of hardware and software implementations. Our approach is based on a c...
I3E
2001
15 years 1 months ago
2001
: We present a model machinery for the generation of aggregating views of knowledge, the coupling of localized knowledge, and for carrying out metaobservations, which record the dy...