Sciweavers

5793 search results - page 50 / 1159
» Individual communication complexity
Sort
View
DAGSTUHL
2003
15 years 6 months ago
Genetic Design: Amplifying Our Ability to Deal With Requirements Complexity
Individual functional requirements represent fragments of behavior, while a design that satisfies a set of functional requirements represents integrated behavior. This perspective ...
R. Geoff Dromey
HOLOMAS
2003
Springer
15 years 9 months ago
The Link between Autonomy and Organisation in Multiagent Systems
Abstract. Market-based approaches have a long tradition in supporting of taskassignment multiagent systems. Such systems consist of customer agents with jobs to assign, and provide...
Michael Schillo, Klaus Fischer, Jörg H. Siekm...
CAV
2007
Springer
122views Hardware» more  CAV 2007»
15 years 8 months ago
Parameterized Verification of Infinite-State Processes with Global Conditions
We present a simple and effective approximated backward reachability algorithm for parameterized systems with existentially and universally quantified global conditions. The indivi...
Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezin...
152
Voted
SDMW
2004
Springer
15 years 10 months ago
Experimental Analysis of Privacy-Preserving Statistics Computation
The recent investigation of privacy-preserving data mining and other kinds of privacy-preserving distributed computation has been motivated by the growing concern about the privacy...
Hiranmayee Subramaniam, Rebecca N. Wright, Zhiqian...
167
Voted
SIGMOD
2011
ACM
206views Database» more  SIGMOD 2011»
14 years 7 months ago
Sampling based algorithms for quantile computation in sensor networks
We study the problem of computing approximate quantiles in large-scale sensor networks communication-efficiently, a problem previously studied by Greenwald and Khana [12] and Shri...
Zengfeng Huang, Lu Wang, Ke Yi, Yunhao Liu