866 search results - page 101 / 174 » A Formal Investigation of |
CDC
2009
IEEE
14 years 2 months ago
2009
IEEE
In this paper, we study the reliable decentralized supervisory control of discrete event systems (DESs) under the general architecture, in which the decision for controllable event...
ICDE
2009
IEEE
14 years 11 months ago
2009
IEEE
Mediator-based data integration systems resolve exploratory queries by joining data elements across sources. In the presence of uncertainties, such multiple expansions can quickly ...
FSTTCS
2005
Springer
14 years 3 months ago
2005
Springer
We construct a formal framework for investigating epistemic and temporal notions in the context of distributed quantum systems. While we rely on structures developed in [DDKP05], w...
BIRTHDAY
2003
Springer
14 years 3 months ago
2003
Springer
Chomsky’s theory of syntax came after criticism of probabilistic associative models of word order in sentences. Immediate constituent structures are plausible but their descripti...
CISC
2008
Springer
14 years 1 days ago
2008
Springer
One of the important applications of digital signature is anonymous credential or pseudonym system. In these scenarios, it is essential that the identity of the signer is kept secr...