934 search results - page 18 / 187 » Modeling Context-Aware Distributed Knowledge |
ATAL
2005
Springer
14 years 3 months ago
2005
Springer
We present TECTLK, a logic to specify knowledge and real time in multi-agent systems. We show that the model checking problem is decidable, and we present an algorithm for TECTLK ...
EUROCRYPT
2000
Springer
14 years 1 months ago
2000
Springer
We show that if any one-way function exists, then 3-round concurrent zero-knowledge arguments for all NP problems can be built in a model where a short auxiliary string with a pres...
EUSFLAT
2003
13 years 11 months ago
2003
The purpose of this paper is to advocate and encourage the application of fuzzy-neuro algorithms in the risk assessment of Distributed Real-Time (DRT) systems, where object-orient...
JSAI
2001
Springer
14 years 2 months ago
2001
Springer
: The cascade model is a rule induction methodology that uses level-wise expansion of a lattice. An attribute-value pair is expressed as an item, and every node in the lattice is s...
CAV
2010
Springer
13 years 10 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...