Sciweavers

4290 search results - page 12 / 858
» Formal Approaches to Teamwork
Sort
View
IQ
1996
15 years 1 months ago
A TQM Approach to the Improvement of Information Quality
There is a consistent gap between users expectations regarding Information Quality (IQ) and the perceived quality of the information they are using. An explicit approach to IQ is ...
Ron Dvir, Stephen Evans
ATAL
2011
Springer
13 years 12 months ago
Trust as dependence: a logical approach
We propose that the trust an agent places in another agent declaratively captures an architectural connector between the two agents. We formulate trust as a generic modality expre...
Munindar P. Singh
ECAI
2008
Springer
15 years 1 months ago
An Empirical Investigation of the Adversarial Activity Model
Multiagent research provides an extensive literature on formal Belief-Desire-Intention (BDI) based models describing the notions of teamwork and cooperation, but adversarial and c...
Inon Zuckerman, Sarit Kraus, Jeffrey S. Rosenschei...
TACAS
2012
Springer
288views Algorithms» more  TACAS 2012»
13 years 7 months ago
Reduction-Based Formal Analysis of BGP Instances
Today’s Internet interdomain routing protocol, the Border Gateway Protocol (BGP), is increasingly complicated and fragile due to policy misconfigurations by individual autonomou...
Anduo Wang, Carolyn L. Talcott, Alexander J. T. Gu...
CSFW
2012
IEEE
13 years 2 months ago
Discovering Concrete Attacks on Website Authorization by Formal Analysis
—Social sign-on and social sharing are becoming an ever more popular feature of web applications. This success is largely due to the APIs and support offered by prominent social ...
Chetan Bansal, Karthikeyan Bhargavan, Sergio Maffe...