2468 search results - page 345 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
160
click to vote
ICOODB
2009
15 years 1 months ago
2009
The integration of database and programming languages is made difficult by the different data models and type systems prevalent in each field. Functional-object query languages con...
159
click to vote
LPAR
2012
Springer
13 years 11 months ago
2012
Springer
traction with Interpolants for Arrays Francesco Alberti1 , Roberto Bruttomesso2 , Silvio Ghilardi2 , Silvio Ranise3 , Natasha Sharygina1 1 Universit`a della Svizzera Italiana, Luga...
150
click to vote
ILP
2003
Springer
15 years 9 months ago
2003
Springer
We believe that AI programs written for discovery tasks will need to simultaneously employ a variety of reasoning techniques such as induction, abduction, deduction, calculation an...
156
click to vote
JCM
2008
15 years 3 months ago
2008
An analytical model is developed to solve the power-rate assignment problem for multi-rate CDMA systems and calculate the probability density function (PDF) for the downlink traffi...
111
click to vote
PODC
2005
ACM
15 years 9 months ago
2005
ACM
Abstract We study ways to restrict or prevent the damage that can be caused in a peer-to-peer network by corrupt entities creating multiple pseudonyms. We show that it is possible ...