2214 search results - page 250 / 443 » Complexity of Reasoning |
181
click to vote
IAT
2009
IEEE
16 years 1 months ago
2009
IEEE
—“Autonomic systems” merge advancements in the field of multi-agent software design, dynamic analysis, and decentralized control in order to assist designers in constructing...
151
click to vote
LICS
2009
IEEE
16 years 1 months ago
2009
IEEE
—We introduce extensions of first-order logic (FO) and fixed-point logic (FP) with operators that compute the rank of a definable matrix. These operators are generalizations o...
139
click to vote
AFRICACRYPT
2008
Springer
16 years 24 days ago
2008
Springer
In this paper, we investigate the security of the Tractable Rationale Maps Signature (TRMS) signature scheme [9] proposed at PKC’05. To do so, we present a hybrid approach for so...
120
click to vote
ICDIM
2007
IEEE
16 years 23 days ago
2007
IEEE
The growing interest for the design and development of multi-agent systems has brought to the creation of a specific research area called Agent-Oriented Software Engineering (AOS...
167
click to vote
IEEESCC
2007
IEEE
16 years 23 days ago
2007
IEEE
Web Services have experienced great interest during the last years as they were expected to play a key role as enablers of seamless application-to-application integration both wit...