Sciweavers

2268 search results - page 332 / 454
» Semantic Integration
Sort
View
143
Voted
DEXAW
2004
IEEE
88views Database» more  DEXAW 2004»
15 years 7 months ago
A Possible World Approach to Uncertain Relational Data
Data exchange between embedded systems and other small or large computing devices increases. Since data in different data sources may refer to the same real world objects, data ca...
Ander de Keijzer, Maurice van Keulen
159
Voted
ESOP
2006
Springer
15 years 7 months ago
Embedding Dynamic Dataflow in a Call-by-Value Language
This paper describes FrTime, an extension of Scheme designed for writing interactive applications. Inspired by functional reactive programming, the language embeds dynamic dataflow...
Gregory H. Cooper, Shriram Krishnamurthi
139
Voted
ATAL
2003
Springer
15 years 7 months ago
Posit spaces: a performative model of e-commerce
What distinguishes e-commerce from ordinary commerce? What distinguishes it from distributed computation? In this paper we propose a performative theory of e-commerce, drawing on ...
Peter McBurney, Simon Parsons
117
Voted
IFM
2000
Springer
104views Formal Methods» more  IFM 2000»
15 years 7 months ago
Structuring Real-Time Object-Z Specifications
This paper presents a means of structuring specifications in real-time Object-Z: an integration of Object-Z with the timed refinement calculus. Incremental modification of classes ...
Graeme Smith, Ian J. Hayes
118
Voted
EDBT
2010
ACM
205views Database» more  EDBT 2010»
15 years 6 months ago
Advanced knowledge discovery on movement data with the GeoPKDD system
The growing availability of mobile devices produces an enormous quantity of personal tracks which calls for advanced analysis methods capable of extracting knowledge out of massiv...
Mirco Nanni, Roberto Trasarti, Chiara Renso, Fosca...