1492 search results - page 84 / 299 » Automatic Software Model Checking Using CLP |
101
Voted
SACMAT
2010
ACM
15 years 6 months ago
2010
ACM
Policy authors typically reconcile several different mental models and goals, such as enabling collaboration, securing information, and conveying trust in colleagues. The data un...
128
click to vote
DBPL
1997
Springer
15 years 5 months ago
1997
Springer
Abstract. In the context of the object-oriented data model, a compiletime approach is given that provides for a significant reduction of the amount of run-time transaction overhead...
118
click to vote
SIGSOFT
2007
ACM
16 years 2 months ago
2007
ACM
Model checking techniques have traditionally dealt with temporal logic languages and automata interpreted over -words, i.e., infinite in the future but finite in the past. However...
145
Voted
BMCBI
2004
15 years 1 months ago
2004
Background: Many current gene prediction methods use only one model to represent proteincoding regions in a genome, and so are less likely to predict the location of genes that ha...
134
click to vote
WCRE
2003
IEEE
15 years 6 months ago
2003
IEEE
Graphical user interfaces (GUIs) are important parts of today’s software and their correct execution is required to ensure the correctness of the overall software. A popular tec...