767 search results - page 58 / 154 » Logic for Mathematical Writing |
260
click to vote
POPL
2006
ACM
16 years 5 months 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...
137
click to vote
CORR
2008
Springer
15 years 5 months ago
2008
Springer
MEMS storage devices are new non-volatile secondary storages that have outstanding advantages over magnetic disks. MEMS storage devices, however, are much different from magnetic ...
266
click to vote
ICFP
2009
ACM
16 years 5 months ago
2009
ACM
Functional logic programming and probabilistic programming have demonstrated the broad benefits of combining laziness (non-strict evaluation with sharing of the results) with non-...
167
click to vote
FLOPS
2010
Springer
15 years 12 months ago
2010
Springer
The logical framework LF provides an elegant foundation for specifying formal systems and proofs and it is used successfully in a wide range of applications such as certifying code...
146
Voted
ACMICEC
2006
ACM
15 years 11 months ago
2006
ACM
Business processes usually span beyond the boundaries of single operations and many a process spans even beyond the boundaries of organizations. Web Service orchestration or chore...