2827 search results - page 1 / 566 » CCured in the real world |
PLDI
2003
ACM
13 years 10 months ago
2003
ACM
CCured is a program transformation system that adds memory safety guarantees to C programs by verifying statically that memory errors cannot occur and by inserting run-time checks...
ICEBE
2009
IEEE
13 years 2 months ago
2009
IEEE
This paper has investigated the issue of virtual wealth and its realization in both real and virtual worlds, and argued that the realization of virtual wealth is necessary and pos...
VR
2002
IEEE
13 years 4 months ago
2002
IEEE
Much of the current research in the design of virtual environments is centred on laboratory prototypes and emphasis is placed on supporting cooperation within the virtual world its...
KBS
2000
13 years 4 months ago
2000
This paper argues that AI planning is a technology ripe for use on real world problems as shown by a number of current applications. An
ATC
2010
Springer
13 years 4 months ago
2010
Springer
Co-Space refers to interactive virtual environment modelled after the real world we are situated in. Through realistic 3D modelling and animation technologies, Co-Space simulates t...