2595 search results - page 220 / 519 » Addressing Computational Viewpoint Design |
111
click to vote
OZCHI
2006
ACM
15 years 8 months ago
2006
ACM
Handovers between shifts are known causes of preventable adverse events in hospitals. In order to gain an insight into the information transfer that occurs between shifts of senio...
111
click to vote
DSVIS
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Stochastic model checking is a recent extension of traditional modelchecking techniques for the integrated analysis of both qualitative and quantitative system properties...
HICSS
2003
IEEE
15 years 7 months ago
2003
IEEE
In order to implement real-time adaptive augmented cognition, one of the focal points of our present research involves understanding the dimensions of task complexity. Task comple...
131
click to vote
NDSS
2003
IEEE
15 years 7 months ago
2003
IEEE
The current trend in mobile networking is towards mobile hosts that have multiple network interfaces, e.g., WLAN and GPRS. However, when the current Internet architecture was orig...
117
click to vote
IPPS
1999
IEEE
15 years 6 months ago
1999
IEEE
Parallel and distributed systems are representative of large and complex systems that require the application of formal methods. These systems are often unreliable because implemen...