956 search results - page 121 / 192 » Slicing Objects Using System Dependence Graphs |
160
click to vote
HYBRID
1998
Springer
15 years 9 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....
126
click to vote
GLOBECOM
2006
IEEE
15 years 10 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...
132
click to vote
ICAS
2009
IEEE
15 years 11 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...
163
click to vote
CDC
2010
IEEE
14 years 11 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...
148
click to vote
SIVP
2010
14 years 11 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...