1716 search results - page 202 / 344 » Proving Conditional Termination |
127
click to vote
ISCI
2008
15 years 3 months ago
2008
Monitoring the changes in data values obtained from the environment (e.g., locations of moving objects) is a primary concern in many fields, as for example in the pervasive comput...
115
click to vote
IM
2006
15 years 3 months ago
2006
We consider the problem of computing information theoretic functions such as entropy on a data stream, using sublinear space. Our first result deals with a measure we call the &quo...
140
click to vote
ENTCS
2007
15 years 3 months ago
2007
ion and Completeness for Real-Time Maude Peter Csaba ¨Olveczky a,b and Jos´e Meseguer b a Department of Informatics, University of Oslo b Department of Computer Science, Universi...
113
click to vote
SIGECOM
2008
ACM
15 years 3 months ago
2008
ACM
One attractive feature of market scoring rules [Hanson '03] is that they are myopically strategyproof: It is optimal for a trader to report her true belief about the likeliho...
129
click to vote
APPML
2005
15 years 3 months ago
2005
In the previous studies on k-edge fault tolerance with respect to hypercubes Qn, matrices for generating linear k-EFT(Qn) graphs were used. Let EFTL(n, k) denote the set of matric...