1690 search results - page 98 / 338 » Algorithmic Properties of Millstream Systems |
129
click to vote
DC
1998
15 years 3 months ago
1998
We show that the problem of predicate detection in distributed systems is NP-complete. In the past, efficient algorithms have been developed for special classes of predicates suc...
149
click to vote
IAJIT
2010
15 years 2 months ago
2010
: Privacy is one of the most important properties of an information system must satisfy, in which systems the need to share information among different, not trusted entities, the p...
157
click to vote
KES
2008
Springer
15 years 2 months ago
2008
Springer
Privacy is one of the most important properties of an information system must satisfy. In which systems the need to share information among different, not trusted entities, the pro...
124
click to vote
ICCS
2007
Springer
15 years 10 months ago
2007
Springer
This paper describes a signal recognition system that is jointly optimized from mathematical representation, algorithm design and final implementation. The goal is to exploit sign...
147
click to vote
STTT
2010
14 years 11 months ago
2010
Abstract. Partial order reduction limits the state explosion problem that arises in model checking by limiting the exploration of redundant interleavings. A state space search algo...