8555 search results - page 313 / 1711 » Property Based Coordination |
184
click to vote
RR
2009
Springer
16 years 2 months ago
2009
Springer
In this paper we present an embedding of propositional production systems into µ-calculus, and first-order production systems into fixed-point logic, with the aim of using these...
192
Voted
AINA
2007
IEEE
16 years 1 months ago
2007
IEEE
We propose a four-party password authenticated interdomain key exchange protocol which makes use of properties of identity-based cryptography and secret public keys. Being passwor...
150
Voted
ICC
2007
IEEE
16 years 1 months ago
2007
IEEE
—Jacket matrices motivated by the center weight Hadamard matrices have play some important roles in signal processing and communication. In this paper we proposed a notation call...
215
Voted
ESOP
2007
Springer
16 years 1 months ago
2007
Springer
The goal of our research project is to establish a type-based method for verification of certain critical properties (such as deadlockand race-freedom) of operating system kernels...
209
click to vote
LPNMR
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We present a framework for updating logic programs under the answer-set semantics that builds on existing work on preferences in logic programming. The approach is simple...