2214 search results - page 250 / 443 » Complexity of Reasoning |
138
Voted
IAT
2009
IEEE
15 years 10 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...
116
Voted
LICS
2009
IEEE
15 years 10 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...
102
Voted
AFRICACRYPT
2008
Springer
15 years 10 months 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...
88
Voted
ICDIM
2007
IEEE
15 years 10 months 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...
131
Voted
IEEESCC
2007
IEEE
15 years 10 months 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...