1026 search results - page 131 / 206 » A Methodology for Equational Reasoning |
CAV
2006
Springer
14 years 23 days ago
2006
Springer
In automated synthesis, we transform a specification into a system that is guaranteed to satisfy the specification. In spite of the rich theory developed for system synthesis, litt...
ECOOP
2006
Springer
14 years 22 days ago
2006
Springer
Abstract. Upgrading the software of long-lived, highly-available distributed systems is difficult. It is not possible to upgrade all the nodes in a system at once, since some nodes...
ASPDAC
2001
ACM
14 years 21 days ago
2001
ACM
Abstract-- In order to continue to produce circuits of increasing speeds, designers must consider aggressive circuit design styles such as self-resetting or delayed-reset domino ci...
KDD
2000
ACM
14 years 19 days ago
2000
ACM
Is multimedia data mining just a new combination of buzz-words or is it a new interdisciplinary field which not only incorporates methods and techniques from the relevant discipli...
DESRIST
2010
Springer
14 years 11 days ago
2010
Springer
This paper explores an ongoing conflict concerning the nature of software design. This conflict manifests itself as antagonism between managers and developers, debates about agile ...