284 search results - page 15 / 57 » Quantifying process equivalence based on observed behavior |
PVLDB
2008
13 years 7 months ago
2008
Estimates of predicate selectivities by database query optimizers often differ significantly from those actually encountered during query execution, leading to poor plan choices a...
GLOBECOM
2007
IEEE
14 years 1 months ago
2007
IEEE
Abstract—In the existing works on distributed detection in sensor networks, local sensor nodes either quantize the observation or directly scale the analog observation and then t...
PTS
1998
13 years 8 months ago
1998
Based on the notion of event-based behavioral abstraction EBBA we specify properties of object-oriented distributed systems in linear time temporal logic. These properties are the...
ENTCS
2007
13 years 7 months ago
2007
When modelling cryto-protocols by means of process calculi which express both nondeterministic and probabilistic behavior, it is customary to view the scheduler as an intruder. It...
SP
1991
IEEE
13 years 11 months ago
1991
IEEE
SRI International’s real-time intrusion-detection expert system (IDES) system contains a statistical subsystem that observes behavior on a moniioreci cornpuier system and adapti...