585 search results - page 107 / 117 » Structured Formal Development in Isabelle |
100
click to vote
CSCWD
2001
Springer
15 years 4 months ago
2001
Springer
The authors have developed a new approach to database interoperability using the sketch data model. That technique has now been used in a number of applications, but an important ...
KBSE
1998
IEEE
15 years 4 months ago
1998
IEEE
Motivated by NASA's need for high-assurance software, NASA Ames' Amphion project has developed a generic program generation system based on deductive synthesis. Amphion ...
SIGMOD
2010
ACM
14 years 12 months ago
2010
ACM
Information extraction systems are increasingly being used to mine structured information from unstructured text documents. A commonly used unsupervised technique is to build iter...
BMCBI
2007
14 years 11 months ago
2007
Background: Software tools that model and simulate the dynamics of biological processes and systems are becoming increasingly important. Some of these tools offer sophisticated gr...
118
click to vote
SIGSOFT
2003
ACM
16 years 14 days ago
2003
ACM
Automated finite-state verification techniques have matured considerably in the past several years, but state-space explosion remains an obstacle to their use. Theoretical lower b...