Sciweavers

2024 search results - page 71 / 405
» A Formal Model of Multi-agent Computations
Sort
View
IFIP
2010
Springer
14 years 12 months ago
A Formal Analysis of Authentication in the TPM
The Trusted Platform Module (TPM) is a hardware chip designed to enable computers to achieve a greater level of security than is possible in software alone. To this end, the TPM pr...
Stéphanie Delaune, Steve Kremer, Mark Dermo...
PAAMS
2010
Springer
15 years 9 months ago
Comparing Three Computational Models of Affect
In aiming for behavioral fidelity, artificial intelligence cannot and no longer ignores the formalization of human affect. Affect modeling plays a vital role in faithfully simulati...
Tibor Bosse, Jonathan Gratch, Johan F. Hoorn, Matt...
117
Voted
HICSS
2002
IEEE
121views Biometrics» more  HICSS 2002»
15 years 10 months ago
Computational Model for Online Agent Negotiation
Agent-based on-line negotiation technology has the potential to radically change the way e-business is conducted. In this paper, we present a formal model for autonomous agents to...
Pu Huang, Katia P. Sycara
WWW
2007
ACM
16 years 5 months ago
Computer-Supported Collaborative Knowledge Modeling in Ecology
We describe collaborative efforts between a knowledge representation team, a community of scientists, and scientific information managers in developing knowledge models for ecolog...
Deana Pennington, Joshua S. Madin, Ferdinando Vill...
129
Voted
DSVIS
2005
Springer
15 years 10 months ago
Concept Analysis as a Formal Method for Menu Design
The design and construction of navigation menus for websites have traditionally been performed manually according to the intuition of a web developer. This paper introduces a new a...
Guo-Qiang Zhang, Gongqin Shen, Ye Tian, Jiayang Su...