7 search results - page 2 / 2 » Software verification at Bell Labs: One line of development |
195
click to vote
POPL
2006
ACM
16 years 12 hour ago
2006
ACM
The TCP/IP protocols and Sockets API underlie much of modern computation, but their semantics have historically been very complex and ill-defined. The real standard is the de fact...
104
click to vote
GEOINFORMATICA
2008
14 years 11 months ago
2008
Topological relationships like overlap, inside, meet, and disjoint uniquely characterize the relative position between objects in space. For a long time, they have been a focus of...