8446 search results - page 1308 / 1690 » A Process Compensation Language |
137
Voted
ICLP
2004
Springer
15 years 10 months ago
2004
Springer
A novel style of multi-agent system specification and deployment is described, in which familiar methods from computational logic are re-interpreted to a new context. One view of ...
123
Voted
IFIP
2004
Springer
15 years 10 months ago
2004
Springer
: Constructing a certification path is the mainly method of validating a certificate at given time. The established path will consist of all the valid certificates that reside betw...
132
click to vote
IFIP
2004
Springer
15 years 10 months ago
2004
Springer
: The Mediator EnvirOnment for Multiple Information Sources (MOMIS) aims at constructing synthesized, integrated descriptions of the information coming from multiple heterogeneous ...
146
Voted
IFIP
2004
Springer
15 years 10 months ago
2004
Springer
Interactive access control allows a server to compute and communicate on the fly the missing credentials to a client and to adapt its responses on the basis of presented and decli...
131
click to vote
IFIP
2004
Springer
15 years 10 months ago
2004
Springer
We study from an implementation viewpoint what constitutes a reasonable and effective notion of structural equivalence of terms in a calculus of concurrent processes and propose op...