Sciweavers

4454 search results - page 413 / 891
» Designing components for e-services
Sort
View
TCAD
2008
102views more  TCAD 2008»
15 years 7 months ago
Fault-Tolerant Distributed Deployment of Embedded Control Software
Safety-critical feedback-control applications may suffer faults in the controlled plant as well as in the execution platform, i.e., the controller. Control theorists design the con...
Claudio Pinello, Luca P. Carloni, Alberto L. Sangi...
AUTOMATICA
2002
72views more  AUTOMATICA 2002»
15 years 7 months ago
Quantifying the accuracy of Hammerstein model estimation
: This paper investigates the accuracy of the linear model estimate that forms a part of an overall Hammerstein model structure. A key finding here is that the process of estimatin...
Brett Ninness, Stuart Gibson
IV
2010
IEEE
214views Visualization» more  IV 2010»
15 years 6 months ago
A System for Real-Time Transcoding and Delivery of Video to Smartphones
—This paper presents a report of a system that delivers customized video content to mobile devices. Constructed from open source components, it can stream transcoded video to mob...
Lior D. Shefer, Francis T. Marchese
IMCSIT
2010
15 years 5 months ago
Semi-Automatic Extension of Morphological Lexica
Abstract--We present a tool that facilitates the efficient extension of morphological lexica. The tool exploits information from a morphological lexicon, a morphological grammar an...
Tobias Kaufmann, Beat Pfister
ISOLA
2010
Springer
15 years 5 months ago
HATS: Highly Adaptable and Trustworthy Software Using Formal Methods
The HATS project develops a formal method for the design, analysis, and implementation of highly adaptable software systems that are at the same time characterized by a high demand...
Reiner Hähnle