Sciweavers

2030 search results - page 379 / 406
» Checklists for Software Engineering Case Study Research
Sort
View
QOSA
2007
Springer
14 years 1 months ago
Extending the Capabilities of Component Models for Embedded Systems
Component-based development helps to improve the modularity and reusability of embedded systems. Component models devised for embedded systems are typically restricted due to the l...
Ihor Kuz, Yan Liu
ISSRE
2005
IEEE
14 years 1 months ago
PORT: A Price-Oriented Reliable Transport Protocol for Wireless Sensor Networks
In wireless sensor networks, to obtain reliability and minimize energy consumption, a dynamic rate-control and congestion-avoidance transport scheme is very important. We notice t...
Yangfan Zhou, Michael R. Lyu
FOSSACS
2005
Springer
14 years 1 months ago
Fault Diagnosis Using Timed Automata
Fault diagnosis consists in observing behaviours of systems, and in detecting online whether an error has occurred or not. In the context of discrete event systems this problem has...
Patricia Bouyer, Fabrice Chevalier, Deepak D'Souza
COMPSAC
2009
IEEE
14 years 13 days ago
Towards the Operational Semantics of User-Centric Communication Models
Abstract—The pervasiveness of complex communication services and the need for end-users to play a greater role in developing communication services have resulted in the creation ...
Yingbo Wang, Yali Wu, Andrew A. Allen, Barbara Esp...
TASLP
2010
101views more  TASLP 2010»
13 years 2 months ago
Gaussian Model-Based Multichannel Speech Presence Probability
The knowledge of the target speech presence probability in a mixture of signals captured by a speech communication system is of paramount importance in several applications includi...
Mehrez Souden, Jingdong Chen, Jacob Benesty, Sofi&...