1270 search results - page 59 / 254 » IF Validation Environment Tutorial |
ETS
2000
IEEE
13 years 10 months ago
2000
IEEE
Academic staff development in the pedagogical applications of new technologies is fundamental to the transformation of teaching and learning in tertiary education settings. We pre...
ICAC
2005
IEEE
14 years 3 months ago
2005
IEEE
FeedbackFlow is a framework that implements a general closed control loop of planning – execution result validation – re-planning, and generates workflows. In this article, we...
ISQED
2003
IEEE
14 years 3 months ago
2003
IEEE
In this paper, we evaluate the dependencies between tools, data and environment in process design kits, and present a framework for systematically analyzing the quality of the des...
DSRT
2005
IEEE
14 years 3 months ago
2005
IEEE
This document presents a simulation-based method for the development of real time embedded systems. This kind of system is really sensitive to the communication with external envi...
ECOOPW
1999
Springer
14 years 2 months ago
1999
Springer
This paper formalizes the folklore result that strongly-typed applets are more secure than untyped ones. We formulate and prove several security properties that all well-typed app...