8555 search results - page 161 / 1711 » Property Based Coordination |
119
click to vote
ICPPW
2006
IEEE
15 years 10 months ago
2006
IEEE
With the rapid emergence of peer-to-peer applications, more and more applications will generate many-to-one rather than one-to-one traffic flows. While a number of previous works ...
125
click to vote
MEMOCODE
2006
IEEE
15 years 10 months ago
2006
IEEE
Timed I/O Automata (TIOA) is a mathematical framework for modeling and verification of distributed systems that involve discrete and continuous dynamics. TIOA can be used for exa...
132
click to vote
ITCC
2005
IEEE
15 years 10 months ago
2005
IEEE
Many edge detection schemes suffer from the lack of image quality at the global level. Global properties are more vital in grayscale images due to loss of hue and texture. This pa...
134
click to vote
CRYPTO
2005
Springer
15 years 10 months ago
2005
Springer
We identify and fill some gaps with regard to consistency (the extent to which false positives are produced) for public-key encryption with keyword search (PEKS), providing new de...
126
click to vote
IPPS
2003
IEEE
15 years 9 months ago
2003
IEEE
In this paper we study the performance properties of combined multiple heterogeneous networks. Consider two nodes node1 and node2 with multiple heterogeneous physical networks con...