211 search results - page 30 / 43 » A Formal Architectural Design Patterns-Based Approach to Sof... |
CODES
2006
IEEE
15 years 5 months ago
2006
IEEE
Designer productivity and design predictability are vital factors for successful embedded system design. Shrinking time-to-market and increasing complexity of these systems requir...
SAC
2009
ACM
15 years 6 months ago
2009
ACM
The understanding of human physical and physiological signals and expressions, together with a growing processing and control capacity allows for new approaches in interactive sys...
144
click to vote
FAABS
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. The design of reactive systems must comply with logical correctness (the system does what it is supposed to do) and timeliness (the system has to satisfy a set of tempora...
CHARME
2001
Springer
15 years 4 months ago
2001
Springer
Formal analysis remains outside the mainstream of system design practice. Interactive methods and tools are regarded by some to be on the margin of useful research in this area. Al...
116
click to vote
W4A
2005
ACM
15 years 5 months ago
2005
ACM
The need for providing learners with web-based learning content that match their accessibility needs and preferences, as well as providing ways to match learning content to userâ€...