1054 search results - page 173 / 211 » A Logic Language of Granular Computing |
141
click to vote
CCS
2005
ACM
15 years 8 months ago
2005
ACM
In a reputation-based trust-management system, agents maintain information about the past behaviour of other agents. This information is used to guide future trust-based decisions...
148
click to vote
AISADM
2005
Springer
15 years 8 months ago
2005
Springer
Computer programming of complex systems is a time consuming effort. Results are often brittle and inflexible. Evolving, self-learning flexible multi-agent systems remain a distant ...
250
click to vote
POPL
2003
ACM
16 years 3 months ago
2003
ACM
We present a new polynomial-time randomized algorithm for discovering affine equalities involving variables in a program. The key idea of the algorithm is to execute a code fragme...
155
click to vote
CASC
2006
Springer
15 years 7 months ago
2006
Springer
We address various aspects of our computer algebra-based computer logic system redlog. There are numerous examples in the literature for successful applications of redlog to practi...
145
click to vote
ICSOC
2009
Springer
15 years 1 months ago
2009
Springer
Several activities in service oriented computing can benefit from knowing ahead of time future properties of a given service composition. In this paper we focus on how statically i...