1481 search results - page 262 / 297 » Enriching the Software Development Process by Formal Methods |
117
click to vote
VLDB
1998
ACM
15 years 4 months ago
1998
ACM
Deterministic testing of SQL database systems is human intensive and cannot adequately cover the SQL input domain. A system (RAGS), was built to stochastically generate valid SQL ...
WWW
2007
ACM
16 years 15 days ago
2007
ACM
It is extremely hard for a global organization with services over multiple channels to capture a consistent and unified view of its data, services, and interactions. While SOA and...
KDD
2004
ACM
16 years 6 days ago
2004
ACM
In this paper, we describe the development of a fielded application for detecting malicious executables in the wild. We gathered 1971 benign and 1651 malicious executables and enc...
107
click to vote
COMPSAC
2011
IEEE
13 years 11 months ago
2011
IEEE
— This paper discusses ongoing research into the development of an original composition portfolio themed on the concept of palimpsests of time and place. The research involves th...
MKM
2009
Springer
15 years 6 months ago
2009
Springer
The extraction of the relations of nested table headers to content cells is automated with a view to constructing narrow domain ontologies of semistructured web data. A taxonomy of...