633 search results - page 103 / 127 » A Semantic Basis for Quest |
113
Voted
ECMDAFA
2010
Springer
15 years 6 months ago
2010
Springer
Successful application of model-driven engineering approaches requires interchanging a lot of relevant data among the tool ecosystem employed by an engineering team (e.g., requirem...
90
Voted
ESOP
1999
Springer
15 years 6 months ago
1999
Springer
MetaML is a multi-stage functional programming language featuring three constructs that can be viewed as statically-typed refinements of the back-quote, comma, and eval of Scheme....
101
click to vote
ICCL
1998
IEEE
15 years 6 months ago
1998
IEEE
We study communication primitives for interaction between mobile agents. They can be classified into two groups. At a low level there are location dependent primitives that require...
108
click to vote
SIGCOMM
1997
ACM
15 years 6 months ago
1997
ACM
Datagram services provide a simple,
exible, robust, and communication abstraction; their usefulness has been well demonstrated by the success of IP, UDP, and RPC. Yet, the overwh...
109
click to vote
FPCA
1989
15 years 5 months ago
1989
Bounded quantification was introduced by Cardelli and Wegner as a means of typing functions that operate uniformly over all subtypes of a given type. They defined a simple “ob...