Sciweavers

2523 search results - page 221 / 505
» Correct Development of Embedded Systems
Sort
View
SDB
1995
95views Database» more  SDB 1995»
15 years 6 months ago
Semantics of Database Transformations
Database transformations arise in many di erent settings including database integration, evolution of database systems, and implementing user views and data-entry tools. This paper...
Peter Buneman, Susan B. Davidson, Anthony Kosky
140
Voted
ECMDAFA
2008
Springer
100views Hardware» more  ECMDAFA 2008»
15 years 5 months ago
From UML Activities to TAAL - Towards Behaviour-Preserving Model Transformations
Model transformations support a model-driven design by providing an c translation of abstract models into more concrete ones, and eventually program code. Crucial to a successful a...
Gregor Engels, Anneke Kleppe, Arend Rensink, Maria...
ICPR
2008
IEEE
15 years 9 months ago
A new spatial perceptual mask for image watermarking
This paper develops a new mask in the spatial domain for image watermarking. The mask exploits the properties of human visual system with respect to background luminance, the edge...
Xinshan Zhu
ISWC
2006
IEEE
15 years 9 months ago
Trinetra: Assistive Technologies for Grocery Shopping for the Blind
Trinetra aims for cost-effective, assistive technologies to provide blind people with a greater degree of independence in their daily activities. The overall objective is to impro...
Patrick E. Lanigan, Aaron M. Paulos, Andrew W. Wil...
DATE
2003
IEEE
186views Hardware» more  DATE 2003»
15 years 8 months ago
Formal Methods for Integration of Automotive Software
Novel functionality, configurability and higher efficiency in automotive systems require sophisticated embedded software, as well as distributed software development between man...
Marek Jersak, Kai Richter, Rolf Ernst, Jörn-C...