Sciweavers

2375 search results - page 374 / 475
» Towards a Theory of Services
Sort
View
LPNMR
2009
Springer
15 years 11 months ago
Belief Logic Programming: Uncertainty Reasoning with Correlation of Evidence
Abstract. Belief Logic Programming (BLP) is a novel form of quantitative logic programming in the presence of uncertain and inconsistent information, which was designed to be able ...
Hui Wan, Michael Kifer
FM
1999
Springer
93views Formal Methods» more  FM 1999»
15 years 10 months ago
Group Principals and the Formalization of Anonymity
We introduce the concept of a group principal and present a number of different classes of group principals, including threshold-group-principals. These appear to naturally usefu...
Paul F. Syverson, Stuart G. Stubblebine
GROUP
2007
ACM
15 years 10 months ago
Practices of stigmergy in architectural work
Actors coordinate their cooperative efforts by acting on the evidence of work previously accomplished. The paper introduces, on the basis of a field study, the concept of stigmerg...
Lars Rune Christensen
DLOG
2007
15 years 8 months ago
DL-based Alternating-offers Protocol for Automated Multi-issue Bilateral Negotiation
Abstract. We present a novel approach to logic-based bilateral negotiation in ecommerce systems. We use Description Logics to describe both requests/offers submitted by buyers and ...
Azzurra Ragone, Tommaso Di Noia, Eugenio Di Sciasc...
MASCOTS
2010
15 years 7 months ago
Modeling the Run-time Behavior of Transactional Memory
In this paper, we develop a queuing theory based analytical model to evaluate the performance of transactional memory. Based on the statistical characteristics observed on actual e...
Zhengyu He, Bo Hong