307 search results - page 22 / 62 » Analysis of Hybrid Systems Using HySAT |
105
click to vote
HYBRID
2001
Springer
15 years 6 months ago
2001
Springer
Abstract. The assume-guarantee paradigm is a powerful divide-andconquer mechanism for decomposing a veri cation task about a system into subtasks about the individual components of...
134
Voted
ICCCN
2008
IEEE
15 years 8 months ago
2008
IEEE
: In this paper, we propose an autonomic management framework (ASGrid) to address the requirements of emerging large-scale applications in hybrid grid and sensor network systems. T...
123
click to vote
HYBRID
2003
Springer
15 years 7 months ago
2003
Springer
s of Invited Presentations The Mathematics of Matter and the Mathematics of Mind . . . . . . . . . . . . . 1 David Berlinski A Grand Challenge: Full Reactive Modeling of a Multi-ce...
115
click to vote
HIS
2008
15 years 3 months ago
2008
This paper addresses the application of a PCA analysis on categorical data prior to diagnose a patients data set using a Case-Based Reasoning (CBR) system. The particularity is th...
122
click to vote
JSS
2010
14 years 8 months ago
2010
In this paper we investigate the effect of three time-triggered system rejuvenation policies on service availability using a queuing model. The model is formulated as an extended ...