1163 search results - page 28 / 233 » Case Studies of Model Checking for Embedded System Designs |
112
Voted
HICSS
2000
IEEE
15 years 6 months ago
2000
IEEE
User interfaces (Uis) for client-server-and Web-based products and services must enable users around the world to access complex data and functions. Solutions to successful user-i...
115
click to vote
IFM
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Interactive systems combine a human operator with a computer. Either may be a source of error. The veri cation processes used must ensure both the correctness of the comp...
124
click to vote
EMSOFT
2004
Springer
15 years 7 months ago
2004
Springer
Aspect oriented programming (AOP), when used well, has many advantages. Aspects are however, programming-time constructs, i.e., they relate to source code. Previously, we develope...
181
Voted
MC
2001
15 years 3 months ago
2001
The computer support of cooperation and knowledge production across socially distributed activity systems has become an important topic in the context of the discourse on ,,knowle...
86
Voted
CHI
2007
ACM
16 years 2 months ago
2007
ACM
We present the case study of a complex, mixed-initiative scheduling system to illustrate Work-Centered Design (WCD), a new approach for the design of information systems. WCD is b...