Sciweavers

1054 search results - page 65 / 211
» Models for automatic generation of safety-critical real-time...
Sort
View
ECOOP
2000
Springer
15 years 4 months ago
Automated Test Case Generation from Dynamic Models
We have recently shown how use cases can be systematically transformed into UML state charts considering all relevant information from a use case specification, including pre- and ...
Peter Fröhlich, Johannes Link
INTERSPEECH
2010
14 years 6 months ago
On-the-fly lattice rescoring for real-time automatic speech recognition
This paper presents a method for rescoring the speech recognition lattices on-the-fly to increase the word accuracy while preserving low latency of a real-time speech recognition ...
Hasim Sak, Murat Saraclar, Tunga Güngör
FMCO
2003
Springer
154views Formal Methods» more  FMCO 2003»
15 years 5 months ago
Tools for Generating and Analyzing Attack Graphs
Abstract. Attack graphs depict ways in which an adversary exploits system vulnerabilities to achieve a desired state. System administrators use attack graphs to determine how vulne...
Oleg Sheyner, Jeannette M. Wing
ICIAP
2003
ACM
15 years 12 months ago
Olympus: an ambient intelligence architecture on the verge of reality
This paper presents Olympus, a modular processing architecture for a distributed ambient intelligence. The system is aimed at detailed reporting of people wandering and gesturing ...
F. Bertamini, Roberto Brunelli, Oswald Lanz, A. Ro...
DSS
2007
113views more  DSS 2007»
14 years 11 months ago
An information delivery system with automatic summarization for mobile commerce
Wireless access with handheld devices is a promising addition to the WWW and traditional electronic business. Handheld devices provide convenience and portable access to the huge ...
Christopher C. Yang, Fu Lee Wang