Sciweavers

335 search results - page 51 / 67
» Reasoning about Probabilistic Security Using Task-PIOAs
Sort
View
AGENTS
1999
Springer
13 years 12 months ago
Top-Down Search for Coordinating the Hierarchical Plans of Multiple Agents
Uncertain and complex environments demand that an agent be able to anticipate the actions of others in order to avoid resource conflicts with them and to realize its goals. Confli...
Bradley J. Clement, Edmund H. Durfee
CSFW
2010
IEEE
13 years 11 months ago
Towards Quantitative Analysis of Proofs of Authorization: Applications, Framework, and Techniques
—Although policy compliance testing is generally treated as a binary decision problem, the evidence gathered during the trust management process can actually be used to examine t...
Adam J. Lee, Ting Yu
SIGIR
1998
ACM
13 years 12 months ago
A Language Modeling Approach to Information Retrieval
Abstract Models of document indexing and document retrieval have been extensively studied. The integration of these two classes of models has been the goal of several researchers b...
Jay M. Ponte, W. Bruce Croft
AAAI
2006
13 years 9 months ago
Bayesian Reputation Modeling in E-Marketplaces Sensitive to Subjectivity, Deception and Change
We present a model for buying agents in e-marketplaces to interpret evaluations of sellers provided by other buying agents, known as advisors. The interpretation of seller evaluat...
Kevin Regan, Pascal Poupart, Robin Cohen
FORTE
2001
13 years 9 months ago
A Family of Resource-Bound Real-Time Process Algebras
The Algebra of Communicating Shared Resources (ACSR) is a timed process algebra which extends classical process algebras with the notion of a resource. It takes the view that the ...
Insup Lee, Jin-Young Choi, Hee-Hwan Kwak, Anna Phi...