Sciweavers

3481 search results - page 235 / 697
» A New Approach to Component Testing
Sort
View
TACAS
2012
Springer
277views Algorithms» more  TACAS 2012»
14 years 1 months ago
Proving Reachability Using FShell - (Competition Contribution)
FShell is an automated white-box test-input generator for C programs, computing test data with respect to user-specified code coverage criteria. The pillars of FShell are the decl...
Andreas Holzer, Daniel Kroening, Christian Schallh...
ICSOC
2009
Springer
16 years 8 hour ago
Engage: Engineering Service Modes with WS-Engineer and Dino
In this demonstration1 we present an approach to engineering service brokering requirements and capabilities using the concepts of Service Modes. The demonstration illustrates buil...
Howard Foster, Arun Mukhija, David S. Rosenblum, S...
EMSOFT
2005
Springer
15 years 11 months ago
Model-based run-time monitoring of end-to-end deadlines
The correct interplay among components in a distributed, reactive system is a crucial development task, particularly for embedded systems such as those in the automotive domain. M...
Jaswinder Ahluwalia, Ingolf H. Krüger, Walter...
ICASSP
2008
IEEE
15 years 12 months ago
Improving Spoken Language Understanding with information retrieval and active learning methods
In the context of deployed spoken dialogue telecom services, we introduce a preprocessor called Fiction into the Spoken Language Understanding (SLU) component. It acts as an inter...
Isabelle Jars, Franck Panaget
ICOIN
2001
Springer
15 years 10 months ago
An Advanced Integrated Architecture for Wireless Voicemail Data Retrieval
This paper describes an alternative architecture for voicemail data retrieval on the move. It is comprised of three distinct components: a speech recognizer, a text summarizer and...
Konstantinos Koumpis, Charalampos Ladas, Steve Ren...