5344 search results - page 206 / 1069 » Privacy-Preserving Set Operations |
141
Voted
CONCUR
2009
Springer
15 years 1 months ago
2009
Springer
Convergence is often the key liveness property for distributed systems that interact with physical processes. Techniques for proving convergence (asymptotic stability) have been ex...
129
Voted
JAPLL
2010
14 years 10 months ago
2010
The satisfiability problem of hybrid logics with the downarrow binder is known to be undecidable. This initiated a research program on decidable and tractable fragments. In this p...
106
click to vote
MEDES
2010
ACM
14 years 10 months ago
2010
ACM
We report a novel deployment of so-called UBI-hotspots in a city center to establish an ecosystem infrastructure for conducting diverse urban computing research and business in au...
144
click to vote
TCS
2010
14 years 10 months ago
2010
The incremental approach to modular monadic semantics constructs complex monads by using monad transformers to add computational features to a preexisting monad. A complication of...
174
Voted
CPAIOR
2011
Springer
14 years 7 months ago
2011
Springer
In this work we present the Partner Units Problem as a novel challenge for optimization methods. It captures a certain type of configuration problem that frequently occurs in indu...