1940 search results - page 304 / 388 » Dependable Software: An Oxymoron |
ICFP
2005
ACM
14 years 8 months ago
2005
ACM
Applied Type System (ATS) is recently proposed as a framework for designing and formalizing (advanced) type systems in support of practical programming. In ATS, the definition of ...
PERCOM
2008
ACM
14 years 8 months ago
2008
ACM
In Vehicular Ad-hoc Networks (VANETs), vehicles can gain short connections to the Internet by using wireless access points (AP). A significant part of the connection time is the t...
CVPR
2010
IEEE
14 years 5 months ago
2010
IEEE
Projector-camera systems use computer vision to analyze their surroundings and display feedback directly onto real world objects, as embodied by spatial augmented reality. To be e...
SAC
2010
ACM
14 years 3 months ago
2010
ACM
This paper presents the Referrer Graph (RG) web prediction algorithm as a low-cost solution to predict next web user accesses. RG is aimed at being used in a real web system with ...
FOSSACS
2010
Springer
14 years 3 months ago
2010
Springer
Every algebraic theory gives rise to a monad, and monads allow a meta-language which is a basic programming language with sideeffects. Equations in the algebraic theory give rise ...