10733 search results - page 280 / 2147 » Distributed XML design |
143
click to vote
CAV
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We apply model checking of knowledge properties to the design of distributed controllers that enforce global constraints on concurrent systems. We calculate when processe...
139
click to vote
AIS
2006
Springer
15 years 4 months ago
2006
Springer
The goal of this paper is to offer, in straight forward terms, some practical insight into distributed data surveillance. I will use the software project Carnivore as a case study....
142
click to vote
ENTCS
2008
15 years 4 months ago
2008
Towards a unifying model of concurrency, we have designed and implemented LMNtal (pronounced "elemental"), a model and language based on hierarchical graph rewriting tha...
144
click to vote
TVLSI
2002
15 years 4 months ago
2002
Simultaneous switching noise (SSN) has become an important issue in the design of the internal on-chip power distribution networks in current very large scale integration/ultra lar...
151
click to vote
DCC
2011
IEEE
14 years 11 months ago
2011
IEEE
The effect of quantization of prior probabilities in a collection of distributed Bayesian binary hypothesis testing problems over which the priors themselves vary is studied. In ...