9521 search results - page 1685 / 1905 » Compiling with continuations, continued |
174
click to vote
PREMI
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Technological advances in experimental and computational molecular biology have revolutionized the whole fields of biology and medicine. Large-scale sequencing, expressio...
154
click to vote
SIGADA
2005
Springer
15 years 12 months ago
2005
Springer
The purpose of this research paper is to examine (1) why formal methods are required for software systems today; (2) the Praxis High Integrity Systems’ Correctness-by-Constructi...
181
click to vote
SSD
2005
Springer
15 years 12 months ago
2005
Springer
Most recent research on querying and managing data streams has concentrated on traditional data models where the data come in the form of tuples or XML data. Complex types of strea...
171
click to vote
UML
2005
Springer
15 years 12 months ago
2005
Springer
Use cases have achieved wide use as specification tools for systems observable behavior, but there still remains a large gap between specifying behavior and determining the softwar...
143
click to vote
VLDB
2005
ACM
15 years 12 months ago
2005
ACM
To answer user queries, a data integration system employs a set of semantic mappings between the mediated schema and the schemas of data sources. In dynamic environments sources o...