5344 search results - page 192 / 1069 » Privacy-Preserving Set Operations |
133
click to vote
IPPS
2009
IEEE
15 years 10 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...
118
click to vote
ATAL
2009
Springer
15 years 10 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 ...
123
click to vote
APLAS
2009
ACM
15 years 10 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...
114
Voted
FDG
2009
ACM
15 years 10 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 ...
120
Voted
CODES
2008
IEEE
15 years 10 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 ...