Sciweavers

660 search results - page 99 / 132
» Reasoning about Dynamic Policies
Sort
View
AAAI
2006
13 years 10 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
COSIT
2009
Springer
179views GIS» more  COSIT 2009»
14 years 3 months ago
An Algebraic Approach to Image Schemas for Geographic Space
Formal models of geographic space should support reasoning about its static and dynamic properties, its objects, their behaviors, and the relationships between them. Image schemas,...
Lisa Walton, Michael F. Worboys
SIGCOMM
2009
ACM
14 years 3 months ago
Understanding TCP incast throughput collapse in datacenter networks
TCP Throughput Collapse, also known as Incast, is a pathological behavior of TCP that results in gross under-utilization of link capacity in certain many-to-one communication patt...
Yanpei Chen, Rean Griffith, Junda Liu, Randy H. Ka...
ICSM
2000
IEEE
14 years 26 days ago
ConSIT: A Conditioned Program Slicer
Conditioned slicing is a powerful generalisation of static and dynamic slicing which has applications to many problems in software maintenance and evolution, including re-use, ree...
Chris Fox, Mark Harman, Robert M. Hierons, Sebasti...
ATAL
2006
Springer
14 years 6 days ago
Run-time model checking of interaction and deontic models for multi-agent systems
This paper is concerned with the problem of obtaining predictable interactions between groups of agents in open environments when individual agents do not expose their bdi logic. ...
Nardine Osman, David Robertson, Christopher Walton