1305 search results - page 12 / 261 » The design context of concurrent computation systems |
CHI
2004
ACM
14 years 8 months ago
2004
ACM
When faced with many documents, people often use systems that characterize documents as read or unread. Most email and document management systems treat this distinction as a bina...
HICSS
2005
IEEE
14 years 2 months ago
2005
IEEE
Expert systems are originally designed to generate feasible alternatives in automated manner. The users expect the systems to contribute to make decisions proactively and intellig...
IPPS
1998
IEEE
14 years 20 days ago
1998
IEEE
We present the design of a computation engine for a real-time laparoscopic surgery simulator. Since this simulator requires realistic real-time and real-world behaviour, a physica...
CONCUR
2006
Springer
14 years 4 days ago
2006
Springer
Timed concurrent systems are widely used in concurrent and distributed real-time software, modeling of hybrid systems, design of hardware systems (using hardware description langua...
FORTE
2004
13 years 9 months ago
2004
Abstract. Monitoring large distributed concurrent systems is a challenging task. In this paper we formulate (model-based) diagnosis by means of hidden state history reconstruction,...