3239 search results - page 324 / 648 » A Logical Process Calculus |
143
click to vote
CLIMA
2004
15 years 5 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...
150
click to vote
CSREASAM
2006
15 years 5 months ago
2006
: - Intrusion Detection Systems are increasingly a key part of systems defense. Various approaches to Intrusion Detection are currently being used, but they are relatively ineffect...
143
click to vote
CAINE
2003
15 years 5 months ago
2003
This paper presents a fuzzy logic approach for switching multiple reference models, within the Model Reference Adaptive Control (MRAC) framework, in response to major changes in t...
126
click to vote
ICWS
2003
IEEE
15 years 5 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 ...
174
click to vote
IWFM
2003
15 years 5 months ago
2003
We present a report on work in progress on certain aspects of a programme of research concerned with building formal, mathematical models both for aspects of the computational pro...