891 search results - page 51 / 179 » Full Abstraction for PCF |
CADE
2004
Springer
14 years 8 months ago
2004
Springer
Abstract. We describe a system for the automated certification of safety properties of NASA software. The system uses Hoare-style program verification technology to generate proof ...
ICDE
2010
IEEE
14 years 7 months ago
2010
IEEE
Abstract-- A large amount of the world's data is both sequential and imprecise. Such data is commonly modeled as Markovian streams; examples include words/sentences inferred f...
ICFP
2009
ACM
14 years 2 months ago
2009
ACM
The evolution of Web sites towards very dynamic applications makes it necessary to reconsider current Web programming technologies. We believe that Web development would benefit ...
SAC
2009
ACM
14 years 2 months ago
2009
ACM
Abstract—Using the Tile Assembly Model proposed by Rothemund and Winfree, we give two lower bounds on the minimum number of tile types needed to uniquely assemble a shape at temp...
ICDCN
2009
Springer
14 years 2 months ago
2009
Springer
One of the main appeals of mobile sensors is the variety of environments in which they can operate as an autonomous network. Different environments, however, present different ch...