3914 search results - page 299 / 783 » Automating SLA modeling |
160
click to vote
TPHOL
2008
IEEE
16 years 1 months ago
2008
IEEE
We present a novel compiled approach to Normalization by Evaluation (NBE) for ML-like languages. It supports efficient normalization of open λ-terms w.r.t. β-reduction and rewrit...
171
click to vote
ICLP
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. The system presented in this paper aims at using Contextual Logic Programming as a computational hub for knowledge modeled by web ontologies and enable querying that repr...
152
click to vote
CSL
2005
Springer
16 years 7 days ago
2005
Springer
We consider the setting of L-nets, recently introduced by Faggian and Maurel as a game model of concurrent interaction and based on Girard’s Ludics. We show how L-nets satisfying...
161
click to vote
ECSQARU
2005
Springer
16 years 7 days ago
2005
Springer
In this paper, we investigate consonant random sets from the point of view of lattice theory. We introduce a new definition of consonancy and study its relationship with possibili...
134
click to vote
LPAR
2005
Springer
16 years 5 days ago
2005
Springer
In [2] Gentzen calculi for intuitionistic logic extended with an existence predicate were introduced. Such logics were first introduced by Dana Scott, who provided a proof system ...