380 search results - page 7 / 76 » Operational Semantics for Declarative Networking |
101
click to vote
SIGCOMM
2009
ACM
15 years 8 months ago
2009
ACM
Network management operations are complicated, tedious and error-prone, requiring significant human involvement and expert knowledge. In this paper, we first examine the fundame...
156
click to vote
AI
2001
Springer
15 years 5 months ago
2001
Springer
The stable semantics has become a prime candidate for knowledge representation and reasoning. The rules associated with propositional logic programs and the stable semantics are no...
105
click to vote
PST
2004
15 years 3 months ago
2004
In this paper we present a new approach to stateful intrusion detection. It is based on a temporal logic which has the capability to express temporary properties, which are propert...
157
click to vote
WOA
2004
15 years 3 months ago
2004
Abstract-- In this paper we present the communication architecture of the DALI Logic Programming Agent-Oriented language and we discuss its semantics. We have designed a meta-level...
111
click to vote
SIGCOMM
2009
ACM
15 years 8 months ago
2009
ACM
We present Flow-based Management Language (FML), a declarative policy language for managing the configuration of enterprise networks. FML was designed to replace the many dispara...