Sciweavers

2523 search results - page 225 / 505
» Correct Development of Embedded Systems
Sort
View
109
Voted
ICASSP
2008
IEEE
15 years 9 months ago
Deploying GOOG-411: Early lessons in data, measurement, and testing
We describe our early experience building and optimizing GOOG-411, a fully automated, voice-enabled, business finder. We show how taking an iterative approach to system developme...
Michiel Bacchiani, Françoise Beaufays, Joha...
157
Voted
FDL
2006
IEEE
15 years 9 months ago
Bridging the Gap Between SysML and Design Space Exploration
In the last few years the embedded systems design discipline required new design methodologies and new specification languages to support system engineers in developing heterogen...
Mauro Prevostini, Sivakumar Ganesan
CSMR
2008
IEEE
15 years 9 months ago
Quantifying Maintainability in Feature Oriented Product Lines
Families of products are steadily emerging for distinct settings such as embedded systems, navigational systems, financial applications or even web applications. This shifts the a...
Gentzane Aldekoa, Salvador Trujillo, Goiuria Sagar...
ISORC
2007
IEEE
15 years 9 months ago
Security Analysis of the Utilization of Corba Object References as Authorization Tokens
In object-oriented real-time computing scenarios, particularly where Corba is used in embedded systems with resource constraints, developers and system architects often utilize Co...
Christoph Becker, Sebastian Staamann, Ralf Salomon
WCRE
1993
IEEE
15 years 7 months ago
A Practical Program Transformation System for Reverse Engineering
Program transformation systems provide one means of formally deriving a program from its speci cation. The main advantage of this development method is that the executable program...
M. Ward, K. Bennett