1270 search results - page 59 / 254 » IF Validation Environment Tutorial |
125
click to vote
ETS
2000
IEEE
15 years 1 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...
116
Voted
ICAC
2005
IEEE
15 years 7 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...
125
click to vote
ISQED
2003
IEEE
15 years 7 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...
128
click to vote
DSRT
2005
IEEE
15 years 7 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...
126
Voted
ECOOPW
1999
Springer
15 years 6 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...