2763 search results - page 137 / 553 » The Dangerous 'All' in Specifications |
SIGSOFT
2010
ACM
13 years 7 months ago
2010
ACM
The global interaction behavior in message-based systems can be specified as a finite-state machine defining acceptable sequences of messages exchanged by a group of peers. Realiz...
SMC
2010
IEEE
13 years 7 months ago
2010
IEEE
In this study, the task of obtaining accurate and comprehensible concept descriptions of a specific set of production instances has been investigated. The suggested method, inspire...
TACAS
2010
Springer
13 years 7 months ago
2010
Springer
Software model checkers are being used mostly to discover specific types of errors in the code, since exhaustive verification of complex programs is not possible due to state explo...
CDC
2009
IEEE
13 years 7 months ago
2009
IEEE
Abstract-- Lifetime maximization is an important optimization problem specific to Wireless Sensor Networks (WSNs) since they operate with limited energy resources which are therefo...
HCI
2009
13 years 7 months ago
2009
This work outlines the design process of a user centered learning object repository. A repository should foster the development and acquisition of both generic and specific informa...