991 search results - page 155 / 199 » Interaction criticism and aesthetics |
ICFEM
2003
Springer
14 years 4 months ago
2003
Springer
The verification of safety critical systems has become an area of increasing importance in computer science. The notion of reactive system has emerged to concentrate on problems r...
ICSE
2003
IEEE-ACM
14 years 4 months ago
2003
IEEE-ACM
Modeling software components from multiple perspectives provides complementary views of a software system and enables sophisticated analyses of its functionality. A software compon...
DATE
2010
IEEE
14 years 3 months ago
2010
IEEE
—The growing trend towards using component based design approach in embedded system development requires addressing newer system engineering challenges. These systems are usually...
CDC
2009
IEEE
14 years 3 months ago
2009
IEEE
Abstract— The accurate estimation of airport capacity is critical for the efficient planning of landing and takeoff operations, and the mitigation of congestion-induced delays. ...
CHI
2009
ACM
14 years 3 months ago
2009
ACM
The use of examples serves a critical role in creative design practice, but details of this process remain an enigma. This is problematic for both the understanding of design acti...