4211 search results - page 44 / 843 » A formal approach to MASQ |
ICFCA
2010
Springer
14 years 5 months ago
2010
Springer
This paper is the successor to two previous papers published at the ICFCA conference. In the first paper we have shown that in the Description Logics EL and ELgfp, the set of gene...
IFM
2004
Springer
14 years 4 months ago
2004
Springer
FLOPS
2006
Springer
14 years 2 months ago
2006
Springer
Pocklington certificates are known to provide short proofs of primality. We show how to perform this in the framework of formal, mechanically checked, proofs. We present an encodin...
ICFEM
2003
Springer
14 years 4 months ago
2003
Springer
Abstract. Security protocols preserve essential properties, such as confidentiality and authentication, of electronically transmitted data. However, such properties cannot be dire...
JOT
2010
13 years 9 months ago
2010
To achieve the multi-agent systems’ goals, agents interact to exchange information, to cooperate and to coordinate their tasks. Interaction is generally recognized as an importa...