6592 search results - page 34 / 1319 » On robust cycle bases |
HICSS
2006
IEEE
15 years 5 months ago
2006
IEEE
Knowledge is considered to be a key organizational resource in the 21st century and the knowledge management ‘movement’ has alerted organizations to the fact that they should ...
105
click to vote
LPAR
2005
Springer
15 years 5 months ago
2005
Springer
Separation logic is a subset of the quantifier-free first order logic. It has been successfully used in the automated verification of systems that have large (or unbounded) inte...
ICRE
1998
IEEE
15 years 4 months ago
1998
IEEE
Systems requirements errors are numerous, persistent, and expensive. To detect such errors, and focus on critical ones during the development of a requirements document, we have d...
WCRE
2009
IEEE
15 years 6 months ago
2009
IEEE
Abstract—Object-oriented (OO) software is usually organized into subsystems using the concepts of package or module. Such modular structure helps applications to evolve when faci...
IPPS
2007
IEEE
15 years 6 months ago
2007
IEEE
Our goal is to save energy in wireless sensor networks (WSNs) by periodic duty-cycling of sensor nodes. We schedule sensor nodes between active (transmit or receive) and sleep mod...