Sciweavers

4434 search results - page 198 / 887
» On the Composition of Hybrid Systems
Sort
View
ESEC
1997
Springer
15 years 10 months ago
Verification of Liveness Properties Using Compositional Reachability Analysis
The software architecture of a distributed program can be represented by a hierarchical composition of subsystems, with interacting processes at the leaves of the hierarchy. Compo...
Shing-Chi Cheung, Dimitra Giannakopoulou, Jeff Kra...
CCS
2006
ACM
15 years 10 months ago
Defeasible security policy composition for web services
The ability to automatically compose security policies created by multiple organizations is fundamental to the development of scalable security systems. The diversity of policies ...
Adam J. Lee, Jodie P. Boyer, Lars E. Olson, Carl A...
NIPS
1997
15 years 7 months ago
Hybrid NN/HMM-Based Speech Recognition with a Discriminant Neural Feature Extraction
In thispaper, we present a novelhybridarchitecture forcontinuousspeech recognition systems. It consists of a continuous HMM system extended by an arbitrary neural network that is ...
Daniel Willett, Gerhard Rigoll
AHS
2007
IEEE
247views Hardware» more  AHS 2007»
16 years 26 days ago
Hybrid Communication Medium for Adaptive SoC Architectures
This paper proposes a hybrid communication medium for on-chip communication targeting adaptive SoC architectures. Unlike the work carried out in literature, where the term “hybr...
Balal Ahmad, Ali Ahmadinia, Tughrul Arslan
IPCCC
2007
IEEE
16 years 24 days ago
A Hybrid Disk-Aware Spin-Down Algorithm with I/O Subsystem Support
To offset the significant power demands of hard disk drives in computer systems, drives are typically powered down during idle periods. This saves power, but accelerates duty cyc...
Timothy Bisson, Scott A. Brandt, Darrell D. E. Lon...