5344 search results - page 192 / 1069 » Privacy-Preserving Set Operations |
178
click to vote
IPPS
2009
IEEE
16 years 1 months ago
2009
IEEE
We consider the operator mapping problem for in-network stream processing, i.e., the application of a tree of operators in steady-state to multiple data objects that are continuou...
175
click to vote
ATAL
2009
Springer
16 years 1 months ago
2009
Springer
We present a programming language for implementing multiagent systems consisting of a set of individual agents that interact with a computational organization specified in terms ...
169
click to vote
APLAS
2009
ACM
16 years 1 months ago
2009
ACM
We define a higher-order process calculus with algebraic operations such as encryption and decryption, and develop a bisimulation proof method for behavioral equivalence in this c...
163
click to vote
FDG
2009
ACM
16 years 1 months ago
2009
ACM
In this paper, I will discuss a set of techniques for supporting limited variable binding in behavior-based systems. This adds additional useful expressivity while preserving the ...
166
click to vote
CODES
2008
IEEE
16 years 1 months ago
2008
IEEE
The compositional computation of Pareto points in multi-dimensional optimization problems is an important means to efficiently explore the optimization space. This paper presents ...