11129 search results - page 404 / 2226 » Modeling Search Computing Applications |
189
click to vote
PERCOM
2005
ACM
16 years 6 months ago
2005
ACM
Pervasive computing applications must be engineered to provide unprecedented levels of flexibility in order to reconfigure and adapt in response to changes in computing resources ...
166
click to vote
ICFP
2007
ACM
16 years 6 months ago
2007
ACM
We present a pair of reasoning principles, definition and proof by rigid induction, which can be seen as proper generalizations of lazy-datatype induction to monadic effects other...
147
click to vote
ICDAR
2003
IEEE
16 years 4 days ago
2003
IEEE
Interpretation of paper drawings has received a good deal of attention over the last decade. Progress has also been made in related areas such as direct interpretation of human dr...
205
click to vote
EUROCAST
2007
Springer
15 years 10 months ago
2007
Springer
Abstract Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulas on the program variables. Most of m...
138
click to vote
DBISP2P
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. In this paper, we describe the design of PIRS, a peer-topeer information retrieval system. PIRS satisfies many of the goals of P2P computing in a way that other P2P IR s...