7839 search results - page 1411 / 1568 » What's there and what's not |
115
click to vote
TACS
1994
Springer
15 years 5 months ago
1994
Springer
In the A-calculus, there is a standard notion of what terms should be considered to be "undefined": the unsolvable terms. There are various equivalent characterisations o...
STACS
1992
Springer
15 years 5 months ago
1992
Springer
abstract Rafail Ostrovskyy Ramarathnam Venkatesanz Moti Yungx Secure commitment is a primitive enabling information hiding, which is one of the most basic tools in cryptography. S...
124
click to vote
FPCA
1989
15 years 5 months ago
1989
We give a framework for denotational semantics for the polymorphic “core” of the programming language ML. This framework requires no more semantic material than what is needed...
102
click to vote
ICDCS
1990
IEEE
15 years 5 months ago
1990
IEEE
The underlying model of distributed systems is that of loosely coupled components r running in parallel and communicating by message passing. Description, construction and evoluti...
111
click to vote
MITJSME
1989
15 years 5 months ago
1989
We describe how aircraft are designed in a large organization. We discuss the different phases of design and interaction with the customer. We then describe the models used by each...