Sciweavers

4382 search results - page 759 / 877
» Query by Semantic Example
Sort
View
OTM
2007
Springer
15 years 8 months ago
Modeling Data Federations in ORM
: Two major problems in constructing data federations (for example, data warehouses and database federations) concern achieving and maintaining consistency and a uniform representa...
Herman Balsters, Terry A. Halpin
SAFECOMP
2007
Springer
15 years 8 months ago
Modeling and Automatic Failure Analysis of Safety-Critical Systems Using Extended Safecharts
With the rapid progress in science and technology, we find ubiquitous use of safety-critical systems in avionics, consumer electronics, and medical instruments. In such systems, u...
Yean-Ru Chen, Pao-Ann Hsiung, Sao-Jie Chen
SMALLTALK
2007
Springer
15 years 8 months ago
Encapsulating and exploiting change with changeboxes
Real world software systems change continuously to meet new demands. Most programming languages and development environments, however, are more concerned with limiting the effects...
Marcus Denker, Tudor Gîrba, Adrian Lienhard,...
114
Voted
DSN
2006
IEEE
15 years 8 months ago
Static Analysis to Enforce Safe Value Flow in Embedded Control Systems
Embedded control systems consist of multiple components with different criticality levels interacting with each other. For example, in a passenger jet, the navigation system inter...
Sumant Kowshik, Grigore Rosu, Lui Sha
IPPS
2006
IEEE
15 years 8 months ago
Automatically translating a general purpose C++ image processing library for GPUs
— This paper presents work-in-progress towards a C++ source-to-source translator that automatically seeks parallelisable code fragments and replaces them with code for a graphics...
Jay L. T. Cornwall, Olav Beckmann, Paul H. J. Kell...