623 search results - page 8 / 125 » Declarative Network Verification |
OTM
2007
Springer
15 years 5 months ago
2007
Springer
PST
2004
15 years 1 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...
CORR
2010
Springer
14 years 6 months ago
2010
Springer
103
click to vote
EDBTW
2006
Springer
15 years 1 months ago
2006
Springer
The need for incremental constraint maintenance within collections of semi-structured documents has been ever increasing in the last years due to the widespread diffusion of XML. T...
113
click to vote
DMSN
2007
ACM
15 years 3 months ago
2007
ACM
Many sensor network applications monitor continuous phenomena by sampling, and fit time-varying models that capture the phenomena's behaviors. We introduce Pulse, a framework...