Sciweavers

2875 search results - page 276 / 575
» Using separation of concerns for embedded systems design
Sort
View
201
Voted
QEST
2010
IEEE
15 years 4 months ago
Automatic Compositional Reasoning for Probabilistic Model Checking of Hardware Designs
Adaptive techniques like voltage and frequency scaling, process variations and the randomness of input data contribute signi cantly to the statistical aspect of contemporary hardwa...
Jayanand Asok Kumar, Shobha Vasudevan
EHCI
2004
15 years 7 months ago
Using Interaction Style to Match the Ubiquitous User Interface to the Device-to-Hand
Ubiquitous computing requires a multitude of devices to have access ame services. Abstract specifications of user interfaces are designed to separate the definition of a user inter...
Stephen W. Gilroy, Michael D. Harrison
RTAS
2008
IEEE
16 years 16 days ago
A Switch Design for Real-Time Industrial Networks
The convergence of computers and the physical world is the theme for next generation networking research. This trend calls for real-time network infrastructure, which requires a h...
Qixin Wang, Sathish Gopalakrishnan, Xue Liu, Lui S...
CSREAPSC
2006
15 years 7 months ago
Design and Implementation of SONICA (Service Oriented Network Interoperability for Component Adaptation) for Multimedia Pervasiv
Abstract - Recent advances in multimedia network systems have led to the development of a new generation of applications that associate the use of various multimedia objects. The c...
Hiroshi Hayakawa, Takahiro Koita, Kenya Sato
WETICE
1998
IEEE
15 years 10 months ago
Using a Groupware Space for Distributed Requirements Engineering
Requirements engineering (RE) is a necessary part of the software development process, as it helps customers and designers identify necessary system requirements. If these stakeho...
Daniela E. Herlea, Saul Greenberg