574 search results - page 56 / 115 » Coalitions in Action Logic |
181
click to vote
CSFW
2005
IEEE
15 years 11 months ago
2005
IEEE
Authentication and secrecy properties are proved by very different methods: the former by local reasoning, leading to matching knowledge of all principals about the order of their...
160
click to vote
EMISA
2004
Springer
15 years 11 months ago
2004
Springer
Abstract: Group-oriented web information systems (GWISs) are web-based dataintensive systems that are used by a group of people in order to fulfill common tasks. In particular, th...
166
click to vote
ATAL
2000
Springer
15 years 10 months ago
2000
Springer
This paper presents a programmable logic-based agent control system that interleaves planning, plan execution and perception. In this system, a program is a collection of logical f...
170
click to vote
DEON
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. In this paper we present a logical model of trust in which trust is conceived as an expectation of the truster about some properties of the trustee. A general typology of...
150
click to vote
IFIP12
2009
15 years 3 months ago
2009
In this paper the tool TELIOS is presented, for the automatic generation of a hardware machine, corresponding to a given logic program. The machine is implemented using an FPGA, wh...