4737 search results - page 90 / 948 » The LOGIC negotiation model |
GECON
2007
Springer
14 years 3 months ago
2007
Springer
A key issue in utility computing environments, such as utility Grids, is the provisioning, orchestration and allocation of resources to services. In these environments, providers ...
ATAL
2005
Springer
14 years 2 months ago
2005
Springer
We sketch how to express typical features of agent communication protocols in a simple temporal logic and show that conformance verification at runtime reduces to a generalised f...
CORR
2008
Springer
13 years 9 months ago
2008
Springer
We study the model checking problem, for fixed structures A, over positive equality-free first-order logic
EUSFLAT
2009
13 years 7 months ago
2009
The present article dedicates itself to fuzzy modelling of data
ENTCS
2010
13 years 9 months ago
2010
Rules that are admissible can be used in any derivations in any axiomatic system of a logic. In this paper we introduce a method for checking the admissibility of rules in the mod...