1193 search results - page 74 / 239 » A primer of simple theories |
155
click to vote
POPL
2003
ACM
16 years 6 days ago
2003
ACM
We present a type theory for higher-order modules that accounts for many central issues in module system design, including translucency, applicativity, generativity, and modules a...
100
click to vote
ICMT
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. Graph transformation has a well-established theory and associated tools that can be used to perform model transformations. However, the lack of a construct to match and t...
161
click to vote
ILC
2007
Springer
15 years 6 months ago
2007
Springer
Two-way alternating automata were introduced by Vardi in order to study the satisfiability problem for the modal µ-calculus extended with backwards modalities. In this paper, we ...
TYPES
2007
Springer
15 years 6 months ago
2007
Springer
We present a procedure for computing normal forms of terms in Abadi and Cardelli’s functional object calculus. Even when equipped with simple types, terms of this calculus are no...
GLOBECOM
2006
IEEE
15 years 6 months ago
2006
IEEE
— We consider the problem of providing absolute QoS guarantees to multiple classes of users of an OBS network in terms of the end-to-end burst loss. We employ Markov decision pro...