98 search results - page 9 / 20 » ACPI: Design Principles and Concerns |
SIGSOFT
2010
ACM
13 years 5 months ago
2010
ACM
Executing critical systems often rely on humans to make important and sometimes life-critical decisions. As such systems become more complex, the potential for human error to lead...
DAGSTUHL
2003
13 years 8 months ago
2003
How an internal observer, that is not given any a priori knowledge or interpretation of what its sensors receives, learn to imitate seems a formidable issue from a viewpoint of a c...
FASE
2000
Springer
13 years 11 months ago
2000
Springer
We present a family of tools for program development and verification, comprising the transformation system TAS and the theorem proving interface IsaWin. Both are based on the theo...
MIE
2008
13 years 9 months ago
2008
We report from three usability evaluations of health information systems that illustrate the value of seeing usability as a context dependent property of a product. We show how the...
GI
2005
Springer
14 years 1 months ago
2005
Springer
: Service-Oriented Architectures (SOAs) have been established as an IT strategy to support the on demand goal of business agility. Web services standards and their implementations ...