Sciweavers

4434 search results - page 233 / 887
» On the Composition of Hybrid Systems
Sort
View
ESANN
1998
15 years 8 months ago
Speech recognition with a new hybrid architecture combining neural networks and continuous HMM
Abstract. In this paper, we focus on a novel NN/HMM architecture for continuous speech recognition. The architecture incorporates a neural feature extraction to gain more discrimin...
Daniel Willett, Gerhard Rigoll
ICSE
2003
IEEE-ACM
16 years 6 months ago
A Compositional Formalization of Connector Wrappers
Increasingly systems are composed of parts: software components, and the interaction mechanisms (connectors) that enable them to communicate. When assembling systems from independ...
Bridget Spitznagel, David Garlan
SFM
2009
Springer
150views Formal Methods» more  SFM 2009»
16 years 1 months ago
Contract-Based Discovery and Composition of Web Services
In the context of Service Oriented Computing behavioural contracts are descriptions of the observable message-passing behaviour of services. In other terms, contracts are behaviour...
Mario Bravetti, Gianluigi Zavattaro
EDOC
2002
IEEE
15 years 11 months ago
Workflow-Based Composition of Web-Services: A Business Model or a Programming Paradigm?
While SOAP/XML is perceived as the appropriate interoperability level for web-services, companies compete to provide workflow-based tools for web-service integration. This paper p...
Dinesh Ganesarajah, Emil Lupu
CSFW
2000
IEEE
15 years 11 months ago
Secure Composition of Untrusted Code: Wrappers and Causality Types
We consider the problem of assembling concurrent software systems from untrusted or partially trusted o -the-shelf components, using wrapper programs to encapsulate components and...
Peter Sewell, Jan Vitek