1422 search results - page 84 / 285 » Complementation in Abstract Interpretation |
146
click to vote
BPM
2009
Springer
16 years 20 days ago
2009
Springer
Abstract. Compatibility of behavior, i.e. the correct ordering of messages, is one of the core aspects for the interaction between services as parts of an inter-organizational busi...
162
click to vote
CRYPTO
2009
Springer
16 years 19 days ago
2009
Springer
Abstract. We show that only languages in BPP have public-coin, blackbox zero-knowledge protocols that are secure under an unbounded (polynomial) number of parallel repetitions. Thi...
152
click to vote
ISMM
2009
Springer
16 years 19 days ago
2009
Springer
Abstract. This paper deals with the theory and applications of spatially-variant mathematical morphology. We formalize the definition of spatially variant dilation/erosion and ope...
138
click to vote
ICCCN
2008
IEEE
16 years 15 days ago
2008
IEEE
Abstract—CAN is a well-known DHT technique for contentbased P2P networks, where each node is assigned a zone in a virtual coordinate space to store the index of the data hashed i...
152
click to vote
ICALP
2007
Springer
16 years 7 days ago
2007
Springer
d Abstract) Marcin Jurdzi´nski and Ashutosh Trivedi Department of Computer Science, University of Warwick, UK In a reachability-time game, players Min and Max choose moves so that...