8135 search results - page 355 / 1627 » networks 2008 |
157
click to vote
AIMSA
2008
Springer
16 years 1 months ago
2008
Springer
Integrated modeling of temporal and logical constraints is important for solving real-life planning and scheduling problems. Logical constrains extend the temporal formalism by rea...
189
Voted
CISSE
2008
Springer
15 years 8 months ago
2008
Springer
Each Internet communication leaves trails here or there, that can be followed back to the user. Notably, anonymous communication schemes are purposed to hide users' identity ...
182
click to vote
CONEXT
2008
ACM
15 years 8 months ago
2008
ACM
We describe Trellis, a platform for hosting virtual networks on shared commodity hardware. Trellis allows each virtual network to define its own topology, control protocols, and f...
176
click to vote
AMAI
2008
Springer
15 years 7 months ago
2008
Springer
Abstract The paper introduces mixed networks, a new graphical model framework for expressing and reasoning with probabilistic and deterministic information. The motivation to devel...
170
click to vote
PST
2004
15 years 8 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...