2231 search results - page 244 / 447 » Alternation as a programming paradigm |
207
click to vote
NCA
2005
IEEE
16 years 8 days ago
2005
IEEE
This paper introduces the concept of location-based publish/subscribe (LPS), which allows mobile ad hoc applications to anonymously communicate with each other, depending on their...
142
click to vote
APN
2005
Springer
16 years 7 days ago
2005
Springer
stract Interpretation Robert Claris´o, Enric Rodr´ıguez-Carbonell, and Jordi Cortadella Universitat Polit`ecnica de Catalunya, Barcelona, Spain Abstract interpretation is a para...
173
click to vote
HPCC
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. The Ubiquitous Web requires novel programming paradigms and distributed architectures for the support of advanced services to a multitude of user devices and profiles. I...
150
click to vote
ICALP
2005
Springer
16 years 6 days ago
2005
Springer
We define an algorithmic paradigm, the stack model, that captures many primal-dual and local-ratio algorithms for approximating covering and packing problems. The stack model is ...
166
click to vote
ICALP
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. We investigate a general paradigm for constructing arbitraryinput-length (AIL) MACs from fixed-input-length (FIL) MACs, define the waste as the relevant efficiency para...