4099 search results - page 185 / 820 » A Framework for Interactive Proof |
166
click to vote
DSN
2007
IEEE
15 years 12 months ago
2007
IEEE
Dynamic Fault Trees (DFT) extend standard fault trees by allowing the modeling of complex system components’ behaviors and interactions. Being a high level model and easy to use...
160
click to vote
MM
2006
ACM
15 years 11 months ago
2006
ACM
In this paper we propose a framework for the computational extraction of time characteristics of a single choreographic work. Computational frameworks can aid in revealing nonsali...
213
click to vote
IEEEICCI
2002
IEEE
15 years 10 months ago
2002
IEEE
In this contribution we present a theoretical approach which has been utilized to inform the coordination of the development of complex systems. Coordination is regarded as a form...
160
click to vote
IUI
1998
ACM
15 years 9 months ago
1998
ACM
Interactive3Dlearningenvironmentscanproviderichproblemsolving experiences with unparalleled visual impact. In these environments, students interactively solve problems by directin...
157
click to vote
EUC
2006
Springer
15 years 9 months ago
2006
Springer
In this paper, we propose a toolkit, wear-UCAM, which can support mobile user interactions in smart environments through utilizing user's context. With the rapid developments ...