882 search results - page 54 / 177 » Allowing State Changes in Specifications |
176
click to vote
APCCM
2008
15 years 7 months ago
2008
Modeling is core software engineering practice. Conceptual models are constructed to establish an abstract understanding of the domain among stakeholders. These are then refined i...
123
click to vote
ALIFE
2010
15 years 6 months ago
2010
Edgar Codd's 1968 design for a self-replicating cellular automata machine has never been implemented. Partly this is due to its enormous size but we have also identified four...
172
click to vote
ICIP
2010
IEEE
15 years 3 months ago
2010
IEEE
This paper focuses on the problem of person detection in harsh industrial environments. Different image regions often have different requirements for the person to be detected. Ad...
166
click to vote
TACAS
2010
Springer
15 years 4 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...
166
click to vote
DAIS
2006
15 years 7 months ago
2006
To maintain availability and responsiveness, mobile applications sharing data often work on their own copy and transmit local changes to other participants. Existing systems for re...