956 search results - page 121 / 192 » Slicing Objects Using System Dependence Graphs |
HYBRID
1998
Springer
14 years 2 months ago
1998
Springer
This paper investigates how formal techniques can be used for the analysis and verification of hybrid systems [1,5,7,16] -- systems involving both discrete and continuous behavior....
GLOBECOM
2006
IEEE
14 years 4 months ago
2006
IEEE
— Global flooding and expanding ring search are two commonly used methods in search for an interested object in multi-hop wireless networks. While global flooding is simple, it...
ICAS
2009
IEEE
14 years 4 months ago
2009
IEEE
Policies form an important part of management and can be an effective means of implementing self-adaptation in pervasive systems. Most policy-based systems focus on large-scale ne...
CDC
2010
IEEE
13 years 5 months ago
2010
IEEE
This paper is concerned with studying how the minimum power loss in a power system is related to its network topology. The existing algorithms in the literature all exploit nonline...
SIVP
2010
13 years 4 months ago
2010
In this paper, a novel study on system profiles and adaptation of parameters for end-users of content-based indexingandretrieval(CBIR)applicationsarepresented.The main objective of...