Sciweavers

709 search results - page 58 / 142
» An Equational Theory for Transactions
Sort
View
ATAL
2001
Springer
15 years 3 months ago
A Stable and Feasible Payoff Division for Coalition Formation in a Class of Task Oriented Domains
In the last few years the use of coalition formation algorithms in multi-agent systems has been proposed as a possible way of modelling autonomous agent cooperation. Game theory pr...
María-Victoria Belmonte, Ricardo Conejo, Jo...
RTAS
2007
IEEE
15 years 5 months ago
An Approach for Real-Time Database Modeling and Performance Management
It is challenging to manage the performance of real-time databases (RTDBs) that are often used in data-intensive real-time applications such as agile manufacturing and target trac...
Jisu Oh, Kyoung-Don Kang
GROUP
2007
ACM
15 years 3 months ago
That's what friends are for: facilitating 'who knows what' across group boundaries
We describe the design and evaluation of K-net, a social matching system to help people learn 'who knows what' in an organization by matching people with skills with tho...
N. Sadat Shami, Y. Connie Yuan, Dan Cosley, Ling X...
IJNSEC
2008
120views more  IJNSEC 2008»
14 years 11 months ago
Formal Specification and Verification of a Secure Micropayment Protocol
As online businesses keep growing and Web services become pervasive, there is an increasing demand for micropayment protocols that facilitate microcommerce, namely selling content...
Mohamed G. Gouda, Alex X. Liu
EUSFLAT
2009
121views Fuzzy Logic» more  EUSFLAT 2009»
14 years 9 months ago
A New Conditioning Rule, Its Generalization and Evidential Reasoning
- In Evidence theory, several conditioning rules for updating belief have been proposed, including Dempster's rule of conditioning. The paper views the conditioning rules prop...
Koichi Yamada, Vilany Kimala, Muneyuki Unehara