837 search results - page 109 / 168 » A Compositional Approach on Modal Specifications for Timed S... |
IEEEHPCS
2010
13 years 7 months ago
2010
Model checking is a formal verification method widely accepted in the web service world because of its capability to reason about service behaviors, at their process-level. It ha...
CC
2005
Springer
14 years 2 months ago
2005
Springer
We introduce a new approach, called completeness analysis, to computing points-to sets for incomplete Java programs such as library modules or applications in the presence of dynam...
TSMC
2010
13 years 3 months ago
2010
Abstract--We present in this paper a case study of the probabilistic approach to model-based diagnosis. Here, the diagnosed system is a real-world electrical power system (EPS), i....
ATC
2008
Springer
13 years 11 months ago
2008
Springer
Abstract. Scheduling the execution of multiple concurrent tasks on shared resources such as CPUs and network links is essential to ensuring the reliable operation of many autonomic...
SMC
2007
IEEE
14 years 3 months ago
2007
IEEE
—Rooted in a deep understanding of their major properties, a control paradigm for complex systems is proposed based on latest advances in modeling the dynamics of complex network...