623 search results - page 8 / 125 » Declarative Network Verification |
81
Voted
OTM
2007
Springer
15 years 8 months ago
2007
Springer
112
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...
CORR
2010
Springer
14 years 9 months ago
2010
Springer
131
click to vote
EDBTW
2006
Springer
15 years 4 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...
138
Voted
DMSN
2007
ACM
15 years 6 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...