1894 search results - page 322 / 379 » A TLA Proof System |
130
Voted
TLCA
2007
Springer
15 years 9 months 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 ...
136
Voted
ICNP
2006
IEEE
15 years 9 months 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...
170
Voted
IEEESCC
2006
IEEE
15 years 9 months 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...
143
Voted
ACL2
2006
ACM
15 years 9 months 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...
117
Voted
MMSEC
2006
ACM
15 years 9 months 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...