1894 search results - page 322 / 379 » A TLA Proof System |
155
click to vote
TLCA
2007
Springer
16 years 4 days ago
2007
Springer
Abstract. The intuitionistic fragment of the call-by-name version of Curien and Herbelin’s λµ˜µ-calculus is isolated and proved strongly normalising by means of an embedding ...
171
click to vote
ICNP
2006
IEEE
16 years 2 days ago
2006
IEEE
— This paper reports on an experiment in network protocol design: we use novel rigorous techniques in the design process of a new protocol, in a close collaboration between syste...
205
click to vote
IEEESCC
2006
IEEE
16 years 2 days ago
2006
IEEE
Service-oriented computing (SOC) is viewed as the computing paradigm of the near future, allowing for the dynamic interaction of services provided by distributed business partners...
169
click to vote
ACL2
2006
ACM
16 years 16 hour ago
2006
ACM
Biologists studying the evolutionary relationships between organisms use software packages to solve the computational problems they encounter. Several of these problems involve th...
145
click to vote
MMSEC
2006
ACM
16 years 26 min ago
2006
ACM
Current zero-knowledge watermark detectors are based on a linear correlation between the asset features and a given secret sequence. This detection function is susceptible of bein...