386 search results - page 23 / 78 » A Consistent Semantics of Self-adjusting Computation |
100
Voted
MFCS
1997
Springer
15 years 6 months ago
1997
Springer
The aim of this paper is an integration of graph grammars with different kinds of behavioural constraints, in particular with temporal logic constraints. Since the usual algebraic ...
127
Voted
FPCA
1989
15 years 6 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...
110
click to vote
MOBISYS
2003
ACM
16 years 1 months ago
2003
ACM
In recent years, large distributed sensor networks have emerged as a new fast-growing application domain for wireless computing. In this paper, we present a distributed applicatio...
117
click to vote
FOSSACS
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. We present a realizability model for a call-by-value, higherorder programming language with parametric polymorphism, general first-class references, and recursive types....
200
Voted
ASWC
2009
Springer
15 years 8 months ago
2009
Springer
Semantic Web Services (SWS) aim at the automated discovery and orchestration of Web services on the basis of comprehensive, machine-interpretable semantic descriptions. Since SWS a...