1894 search results - page 305 / 379 » Towards Mobile Reasoning |
IAT
2007
IEEE
14 years 4 months ago
2007
IEEE
The agents in multiagent systems can coordinate their actions and handle tasks jointly by forming coalitions. One of the important steps in this process is the fair division of pa...
ICDE
2007
IEEE
14 years 4 months ago
2007
IEEE
As enterprises seek to engage in increasingly rich and agile forms of collaboration, they are turning towards service-oriented architectures that enable them to selectively expose...
ISVLSI
2007
IEEE
14 years 4 months ago
2007
IEEE
Although RTL power macromodeling is a mature research topic, it is not yet broadly accepted in the industrial environment. One of the main reasons impairing its widespread use as ...
LICS
2007
IEEE
14 years 4 months ago
2007
IEEE
The combination of first-order epistemic logic and formal cryptography offers a potentially very powerful framework for security protocol verification. In this article, we addre...
ATAL
2007
Springer
14 years 4 months ago
2007
Springer
Many agents are fielded within environments requiring modeling traditional organizational structures such as military hierarchies and corporations, with their associated authority...