3686 search results - page 156 / 738 » Comprehensive comprehensions |
FM
2009
Springer
14 years 3 months ago
2009
Springer
This paper describes a complete denotational semantics, in the UTP framework, of slotted-Circus, a generic framework for reasoning about discrete timed/synchronously clocked system...
CDC
2008
IEEE
14 years 3 months ago
2008
IEEE
— Given an unforced nonlinear system and two nested closed and invariant sets Γ ⊂ O, we present reduction principles allowing one to extrapolate the properties of stability, a...
IWPC
2008
IEEE
14 years 3 months ago
2008
IEEE
Over the last decade many techniques for software clone detection have been proposed. In this paper, we provide a comprehensive survey of the capabilities of currently available c...
NOMS
2008
IEEE
14 years 3 months ago
2008
IEEE
— This dissertation presents an adaptive probing based tool for fault diagnosis in computer networks by addressing the problems of probe station selection and probe selection. We...
CBMS
2007
IEEE
14 years 3 months ago
2007
IEEE
There are several domains, such as health-care, in which the decision process usually has a background knowledge that must be considered. We need to maximize the accuracy of the m...