3931 search results - page 463 / 787 » Separation logic and abstraction |
170
click to vote
LPAR
2004
Springer
16 years 14 days ago
2004
Springer
Abstract. Matching is a basic operation extensively used in computation. Second-order matching, in particular, provides an adequate environment for expressing program transformatio...
156
click to vote
MFCS
2004
Springer
16 years 14 days ago
2004
Springer
Abstract. We devise an efficient protocol by which a series of twoperson games Gi with unique winning strategies can be combined into a single game G with unique winning strategy, ...
248
click to vote
NLDB
2004
Springer
16 years 13 days ago
2004
Springer
Abstract. Extracting information automatically from texts for database representation requires previously well-grouped phrases so that entities can be separated adequately. This pr...
182
click to vote
SAMOS
2004
Springer
16 years 13 days ago
2004
Springer
Abstract— The translation of user requirements to system constraints and parameters during an exploration exercise is a hard problem, especially in the context of large scale emb...
204
click to vote
WWIC
2004
Springer
16 years 13 days ago
2004
Springer
Abstract. With cached greedy geocast, we propose an enhanced forwarding scheme for geocast especially in highly mobile ad hoc networks. We will show, that a cache for presently unf...