920 search results - page 142 / 184 » The TSIMMIS Approach to Mediation: Data Models and Languages |
SIGSOFT
1996
ACM
15 years 1 months ago
1996
ACM
In this paper we present our experiences in using symbolic model checking to analyze a specification of a software system for aircraft collision avoidance. Symbolic model checking ...
NIPS
2004
14 years 11 months ago
2004
Coreference analysis, also known as record linkage or identity uncertainty, is a difficult and important problem in natural language processing, databases, citation matching and m...
106
click to vote
DAC
2007
ACM
15 years 1 months ago
2007
ACM
When designers create RTL models from a system-level specification, arrays in the system-level model are often implemented as memories in the RTL. Knowing the correspondence betwe...
DEXA
2008
Springer
14 years 11 months ago
2008
Springer
Recently, a variety of workflow patterns has been proposed focusing on specific aspects like control flow, data flow, and resource assignments. Though these patterns are relevant f...
ER
1999
Springer
15 years 2 months ago
1999
Springer
Database support of time-varying phenomena typically assumes that entities change in a linear fashion. Many phenomena, however, change cyclically over time. Examples include monsoo...