561 search results - page 101 / 113 » VSE: Controlling the Complexity in Formal Software Developme... |
101
Voted
PRESENCE
2002
14 years 11 months ago
2002
This paper describes Studierstube, an augmented reality system developed over the past four years at Vienna University of Technology, Austria, in extensive collaboration with Frau...
SOSP
2007
ACM
15 years 8 months ago
2007
ACM
The rise of the software-as-a-service paradigm has led to the development of a new breed of sophisticated, interactive applications often called Web 2.0. While web applications ha...
104
click to vote
AVI
2008
15 years 2 months ago
2008
Computer visualization and networking have advanced dramatically over the last few years, partially driven by the exploding video game market. 3D hardware acceleration has reached...
131
click to vote
SP
2010
IEEE
14 years 9 months ago
2010
IEEE
The security of systems such as operating systems, hypervisors, and web browsers depend critically on reference monitors to correctly enforce their desired security policy in the ...
105
click to vote
HOTSWUP
2009
ACM
15 years 4 months ago
2009
ACM
The complexity, cost, and down-time currently created by the database schema evolution process is the source of incessant problems in the life of information systems and a major s...