4731 search results - page 732 / 947 » Securing Interactive Programs |
186
click to vote
IADIS
2003
15 years 8 months ago
2003
The paper introduces the concept of digital city and discusses how to assess a particular project, concerning its success in connecting the real city with its virtual counterpart....
189
click to vote
GRAPHICSINTERFACE
1996
15 years 8 months ago
1996
Many educators have used Algorithm Visualization (AV) to teach students of computer science about how computer algorithms work. Our study sheds light on two important questions: (...
149
click to vote
WCE
2007
15 years 7 months ago
2007
— This paper presents an analytical model for calculating the deformation behavior of an elastic, composite strut comprising any number of materials, which are represented by an ...
150
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
We propose a framework that provides a programming interface to perform complex dynamic system-level analyses of deployed production systems. By leveraging hardware support for vi...
189
click to vote
ENTCS
2008
15 years 6 months ago
2008
HOL-TestGen is a specification and test case generation environment extending the interactive theorem prover Isabelle/HOL. The HOL-TestGen method is two-staged: first, the origina...