Sciweavers

710 search results - page 85 / 142
» Data and Process Mediation Support for B2B Integration
Sort
View
FM
2009
Springer
95views Formal Methods» more  FM 2009»
14 years 2 months ago
Industrial Practice in Formal Methods: A Review
We examine the the industrial application of formal methods using data gathered in a review of 62 projects taking place over the last 25 years. The review suggests that formal meth...
Juan Bicarregui, John S. Fitzgerald, Peter Gorm La...
TELECARE
2004
132views Healthcare» more  TELECARE 2004»
13 years 9 months ago
Federated management of information for TeleCARE
Distributed information management plays a fundamental role within the base infrastructure supporting the elderly care domain. Specificities of this domain include the autonomy and...
Hamideh Afsarmanesh, Víctor Guevara-Mas&iac...
SAC
2004
ACM
14 years 1 months ago
Creation and management of versions in multiversion data warehouse
A data warehouse (DW) provides an information for analytical processing, decision making, and data mining tools. On the one hand, the structure and content of a data warehouse ref...
Bartosz Bebel, Johann Eder, Christian Koncilia, Ta...
ICDE
2008
IEEE
167views Database» more  ICDE 2008»
14 years 9 months ago
Towards Declarative Queries on Adaptive Data Structures
In this work we look at combining emerging technologies in programming languages with traditional query processing techniques to provide support for efficient execution of declarat...
Nicolas Bruno, Pablo Castro
ICDE
2002
IEEE
149views Database» more  ICDE 2002»
14 years 9 months ago
Indexing Spatio-Temporal Data Warehouses
Spatio-temporal databases store information about the positions of individual objects over time. In many applications however, such as traffic supervision or mobile communication ...
Dimitris Papadias, Yufei Tao, Panos Kalnis, Jun Zh...