1008 search results - page 17 / 202 » Canonicity! |
OTM
2005
Springer
15 years 5 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 4 months ago
1996
IEEE
A technique is presented for the layout of high
79
Voted
JSYML
2007
15 years 12 hour 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 10 months ago
2010
IEEE
ICUMT
2009
14 years 9 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 ...