726 search results - page 104 / 146 » Formal Verification and Validation of Interactive Systems Sp... |
115
click to vote
SIGMOD
2010
ACM
15 years 4 months ago
2010
ACM
Improving data quality is a time-consuming, labor-intensive and often domain specific operation. Existing data repair approaches are either fully automated or not efficient in int...
155
click to vote
ECMDAFA
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. The Unified Modelling Language (UML) is intended to describe systems, but it is not clear what systems satisfy a given collection of UML diagrams. Stephen Mellor has desc...
139
click to vote
KBSE
1998
IEEE
15 years 8 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 ...
143
click to vote
CIDR
2009
15 years 5 months ago
2009
Natural language user interfaces to database systems have been studied for several decades now. They have mainly focused on parsing and interpreting natural language queries to ge...
107
click to vote
CN
1998
15 years 4 months ago
1998
XML has been proposed in order to bring to the web a markup language free of the shortcomings of HTML, in particular the inextensibility of the set of valid elements (tags). Style...