726 search results - page 106 / 146 » Formal Verification and Validation of Interactive Systems Sp... |
115
click to vote
SIGSOFT
2001
ACM
16 years 5 months ago
2001
ACM
There is a growing interest in empirical study in software engineering, both for validating mature technologies and for guiding improvements of less-mature technologies. This pape...
146
click to vote
VLDB
1990
ACM
15 years 8 months ago
1990
ACM
Database programming requires having the knowledge of database semantics both to maintain database integrity and to explore more optimization opportunities. Automated programming ...
105
click to vote
JLP
2010
14 years 11 months ago
2010
Model programs are high-level behavioral specifications used for software testing and design analysis. Composition of model programs is a versatile technique that, at one end of t...
193
click to vote
FMSB
2008
15 years 5 months ago
2008
We introduce bounded asynchrony, a notion of concurrency tailored to the modeling of biological cell-cell interactions. Bounded asynchrony is the result of a scheduler that bounds ...
226
click to vote
POPL
2005
ACM
16 years 4 months ago
2005
ACM
A lightweight logical approach to race-free sharing of heap storage between concurrent threads is described, based on the notion of permission to access. Transfer of permission be...