2638 search results - page 487 / 528 » Frameworks for Reasoning about Agent Based Systems |
147
click to vote
WECWIS
2005
IEEE
15 years 11 months ago
2005
IEEE
We consider truthful online auctions that aim at optimizing sellers’ revenues, representing service contributors’ satisfactions, as a general model for pricing peer-to-peer se...
141
click to vote
NSPW
2004
ACM
15 years 11 months ago
2004
ACM
We argue in favor of the explicit inclusion of suspicion as a concrete concept to be used in the analysis of audit data in order to guide the search for evidence of misuse. Our ap...
189
click to vote
VLDB
2004
ACM
15 years 11 months ago
2004
ACM
Query containment is the most fundamental relationship between a pair of database queries: a query Q is said to be contained in a query Q if the answer for Q is always a subset of...
176
click to vote
ICSM
2000
IEEE
15 years 10 months ago
2000
IEEE
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...
171
click to vote
SIGCSE
1999
ACM
15 years 10 months ago
1999
ACM
The wide-spread use of microprocessor based systems that utilize cache memory to alleviate excessively long DRAM access times introduces a new dimension in the quest to obtain goo...