13734 search results - page 145 / 2747 » Abstractions of data types |
125
click to vote
FOSSACS
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. We study the expressiveness of the join calculus by comparison with (generalised, coloured) Petri nets and using tools from type theory. More precisely, we consider four ...
137
Voted
TACS
2001
Springer
15 years 8 months ago
2001
Springer
We propose the πD -calculus, a process calculus that can flexibly model fine-grained control of resource access in distributed computation, with a type system that statically pr...
127
Voted
LKR
2008
15 years 5 months ago
2008
Abstract. We extend an automatically generated bilingual JapaneseSwedish dictionary with new translations, automatically discovered from the multi-lingual online encyclopedia Wikip...
146
click to vote
BIRTHDAY
2010
Springer
15 years 4 months ago
2010
Springer
In this paper, we present an overview to programming with proofs in the reasoning framework, Beluga. Beluga supports the specification of formal systems given by axioms and inferen...
153
Voted
GLOBECOM
2007
IEEE
15 years 4 months ago
2007
IEEE
Abstract— Many techniques for constructing unitary spacetime constellations have been proposed. To minimize bit-error rate (BER) in a wireless communication system, constellation...