3168 search results - page 174 / 634 » Design, implementation and evaluation of a virtual storage s... |
187
Voted
MICRO
2008
IEEE
16 years 1 months ago
2008
IEEE
Heavyweight security analysis systems, such as taint analysis and dynamic type checking, are powerful technologies used to detect security vulnerabilities and software bugs. Tradi...
244
Voted
STORYTELLING
2005
Springer
16 years 15 days ago
2005
Springer
The goal of this research is to lay the foundations for a formal theory , that abstracts from the procedural and interactive aspects involved in the generation of dramatic content....
199
Voted
AIS
1999
Springer
15 years 6 months ago
1999
Springer
The past decade has seen the development of a perspective holding that technology is socially constructed (Mackenzie and Wacjman, 1985; Bijker, Hughes and Pinch, 1987; Bijker and L...
164
Voted
ICALT
2006
IEEE
16 years 1 months ago
2006
IEEE
This paper describes an approach for modeling and implementing a collaborative learning situation, which is part of a real lifelong learning scenario in astronomy. We adopt and sl...
190
Voted
LCR
2000
Springer
15 years 10 months ago
2000
Springer
We present a new run-time system for typed programming languages that supports object sharing in a distributed system. The key insight in this system is that the ability to distin...