3319 search results - page 233 / 664 » Subshifts, Languages and Logic |
169
click to vote
FLOPS
2006
Springer
15 years 10 months ago
2006
Springer
We describe the design and implementation of a trust-management system Soutei, a dialect of Binder, for access control in distributed systems. Soutei policies and credentials are w...
223
click to vote
DALT
2008
Springer
15 years 8 months ago
2008
Springer
The core capability of a rational agent is to choose its next action in a rational fashion, a capability that can be put to good use by a designer to satisfy the design objectives ...
168
click to vote
CLIMA
2004
15 years 8 months ago
2004
Communication plays a fundamental role in multi-agents systems. One of the main issues in the design of agent interaction protocols is the verification that a given protocol implem...
160
click to vote
ICWS
2003
IEEE
15 years 8 months ago
2003
IEEE
In this paper, we propose a method for automated web service composition by applying Linear Logic (LL) theorem proving. We distinguish value-added web services and core service by ...
179
click to vote
JAIR
2007
15 years 6 months ago
2007
It is widely recognized today that the management of imprecision and vagueness will yield more intelligent and realistic knowledge-based applications. Description Logics (DLs) are...