Sciweavers

4184 search results - page 160 / 837
» A Data Transformation System for Biological Data Sources
Sort
View
PODS
2009
ACM
86views Database» more  PODS 2009»
16 years 5 months ago
Reverse data exchange: coping with nulls
An inverse of a schema mapping M is intended to "undo" what M does, thus providing a way to perform "reverse" data exchange. In recent years, three different f...
Ronald Fagin, Phokion G. Kolaitis, Lucian Popa, Wa...
HASE
2008
IEEE
15 years 11 months ago
A Multi-Periodic Synchronous Data-Flow Language
Implementing real-time critical systems is an increasingly complex process that calls for high-level formal programming languages. Existing languages mainly focus on mono-periodic...
Julien Forget, Frédéric Boniol, Davi...
137
Voted
ICECCS
2000
IEEE
135views Hardware» more  ICECCS 2000»
15 years 9 months ago
Definitions of Equivalence for Transformational Synthesis of Embedded Systems
Design of embedded systems is a complex task that requires design cycles founded upon formal notation, so that the synthesis from specification to implementation can be carried ou...
Luis Alejandro Cortés, Petru Eles, Zebo Pen...
WCRE
2007
IEEE
15 years 11 months ago
Examining the Effects of Global Data Usage on Software Maintainability
As the useful life expectancy of software continues to increase, the task of maintaining the source code has become the dominant phase of the software life-cycle. In order to impr...
Jason W. A. Selby, Fraser P. Ruffell, Mark Giesbre...
135
Voted
HICSS
2003
IEEE
124views Biometrics» more  HICSS 2003»
15 years 10 months ago
Identifying Transformer Incipient Events for Maintaining Distribution System Reliability
This paper presents the time domain and timefrequency domain analysis results of incipient events in single-phase distribution transformers. This analysis will aid in the developm...
Karen L. Butler-Purry, Mustafa Bagriyanik