8928 search results - page 1215 / 1786 » Modeling Current Events |
190
click to vote
PODC
2009
ACM
16 years 8 months ago
2009
ACM
In this work we define and study a new model for the caching problem in a heterogeneous wireless network under a flash-crowd scenario. Using non-cooperative game theory, we cast t...
228
click to vote
VLSID
2004
IEEE
16 years 7 months ago
2004
IEEE
It has been observed that even highly optimized software programs perform "redundant" computations during their execution, due to the nature (statistics) of the values a...
227
Voted
CADE
2007
Springer
16 years 7 months ago
2007
Springer
We present a novel reasoning calculus for Description Logics (DLs)--knowledge representation formalisms with applications in areas such as the Semantic Web. In order to reduce the ...
197
click to vote
CADE
2007
Springer
16 years 7 months ago
2007
Springer
This paper presents an overview of the verication framework ALICE in its current version 0.7. It is based on the generic theorem prover Isabelle [Pau03a]. Within ALICE a software o...
193
click to vote
SIGMOD
2003
ACM
16 years 7 months ago
2003
ACM
In this paper we propose an approach that enables mobile clients to determine the validity of previous queries based on their current locations. In order to make this possible, th...