2685 search results - page 409 / 537 » A Formal Semantics for SPKI |
150
click to vote
SEMWEB
2005
Springer
15 years 11 months ago
2005
Springer
The paper reports on the formal framework to design strategies for multi-issue non-symmetric meaning negotiations among software agents in a distributed information retrieval syste...
147
click to vote
SEMWEB
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Recently, there have been a number of proposals for languages for expressing web service constraints and capabilities, with WSPolicy and WSPL leading the way. The propose...
147
click to vote
WEBI
2005
Springer
15 years 11 months ago
2005
Springer
In open environments like the Web, and open Multiagent and Peer2Peer systems, consent among the autonomous, self-interested knowledge sources and users very often cannot be establ...
156
click to vote
EMSOFT
2004
Springer
15 years 11 months ago
2004
Springer
In reactive systems, execution is driven by external events to which the system should respond with appropriate actions. Such events can be simple, but systems are often supposed ...
152
click to vote
ERCIMDL
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. A policy is a statement that an action is permitted or forbidden if certain conditions hold. We introduce a language for reasoning about policies called Rosetta. What mak...