2810 search results - page 128 / 562 » Contract-Based Component System Design |
118
click to vote
FDL
2007
IEEE
15 years 7 months ago
2007
IEEE
With the increasing complexity of today's embedded systems, there is a need to formally verify such designs at mixed abstraction levels. This is needed if some compoe describ...
108
click to vote
ICCAD
1996
IEEE
15 years 7 months ago
1996
IEEE
While numerous power optimization techniques have been at all levels of design process abstractions for electronic components, until now, power minimization in mixed mechanical-el...
108
click to vote
ICWS
2003
IEEE
15 years 4 months ago
2003
IEEE
Many organizations envision web services as an enabling component of Internet-scale computing. A final vision of web services is to realize a dynamic environment that identifies, ...
146
click to vote
HCI
2009
15 years 26 days ago
2009
The design of safety critical systems calls for advanced software engineering models, methods and tools in order to meet the safety requirements that will avoid putting human life ...
141
click to vote
WIAMIS
2009
IEEE
15 years 9 months ago
2009
IEEE
In this work, we propose a design for a user attention model featuring three core components. Our system components can work in real-time, offering indications of user attention f...