Sciweavers

7080 search results - page 755 / 1416
» Designing High Integrity Systems Using Aspects
Sort
View
DATE
2002
IEEE
166views Hardware» more  DATE 2002»
16 years 8 days ago
Event Model Interfaces for Heterogeneous System Analysis
Complex embedded systems consist of hardware and software components from different domains, such as control and signal processing, many of them supplied by different IP vendors. ...
Kai Richter, Rolf Ernst
ADHOC
2005
114views more  ADHOC 2005»
15 years 7 months ago
Clock synchronization for wireless sensor networks: a survey
Recent advances in micro-electromechanical (MEMS) technology have led to the development of small, lowcost, and low-power sensors. Wireless sensor networks (WSNs) are large-scale ...
Bharath Sundararaman, Ugo Buy, Ajay D. Kshemkalyan...
IJES
2006
134views more  IJES 2006»
15 years 7 months ago
Applying model-driven development to distributed real-time and embedded avionics systems
Model-driven development (MDD) is an emerging paradigm that uses domain-specific modeling languages (DSMLs) and generative technologies to provide "correct-by-construction&quo...
Krishnakumar Balasubramanian, Arvind S. Krishna, E...
HCI
2001
15 years 8 months ago
Bringing gaze-based interaction back to basics
This paper argues for a joint development of an eye gaze -based, on-line communication aid running on a standard PC with a web -camera. Tracking software is to be provided as open...
John Paulin Hansen, Dan Witzner Hansen, Anders Sew...
I3E
2001
196views Business» more  I3E 2001»
15 years 8 months ago
Security Modelling for Electronic Commerce: The Common Electronic Purse Specifications
: Designing security-critical systems correctly is very difficult. We present work on software engineering of security critical systems, supported by the CASE tool AUTOFOCUS. Secur...
Jan Jürjens, Guido Wimmel