2231 search results - page 244 / 447 » Alternation as a programming paradigm |
216
click to vote
NCA
2005
IEEE
16 years 23 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...
162
click to vote
APN
2005
Springer
16 years 22 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...
194
click to vote
HPCC
2005
Springer
16 years 21 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...
164
click to vote
ICALP
2005
Springer
16 years 21 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 ...
182
click to vote
ICALP
2005
Springer
16 years 21 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...