1008 search results - page 17 / 202 » Canonicity! |
OTM
2005
Springer
15 years 7 months ago
2005
Springer
Various filtering algorithms for publish/subscribe systems have been proposed. One distinguishing characteristic is their internal representation of Boolean subscriptions: They ei...
VISUALIZATION
1996
IEEE
15 years 6 months ago
1996
IEEE
A technique is presented for the layout of high
JSYML
2007
15 years 1 months ago
2007
Abstract. An amalgamation base p in a simple theory is stably definable if its canonical base is interdefinable with the set of canonical parameters for the φ-definitions of p ...
IPPS
2010
IEEE
14 years 12 months ago
2010
IEEE
ICUMT
2009
14 years 11 months ago
2009
In the context of multiple security protocols running in the same environment, we propose a syntactical approach for identifying multi-protocol attacks. The proposed approach uses ...