713 search results - page 60 / 143 » Syntax and Semantics of Babel-17 |
CORR
2008
Springer
15 years 22 days ago
2008
Springer
paper we will discuss the design of abstract firewall model along with platform-independent policy definition language. We will also discuss the main design challenges and solutio...
93
Voted
CROSSROADS
2006
15 years 20 days ago
2006
Program transformation techniques have reached a maturity level that allows processing high-level language sources in new ways. Not only do they revolutionize the implementation o...
106
Voted
CORR
2007
Springer
15 years 19 days ago
2007
Springer
In this paper we show that an arbitrary propositional theory, when interpreted under the answer sets semantics (called Equilibrium Logic for this general syntax), can always be re...
85
Voted
CORR
2007
Springer
15 years 19 days ago
2007
Springer
Diagrammatic logics were introduced in 2002, with emphasis on the notions of specifications and models. In this paper we improve the description of the inference process, which i...
102
Voted
JUCS
2008
15 years 18 days ago
2008
: A precise model of the behavioral dynamics is a necessary precondition for the development of collaborative environments. In this paper we present a specification framework for c...