4074 search results - page 721 / 815 » Abstract Graph Transformation |
131
click to vote
CADE
2007
Springer
16 years 2 months ago
2007
Springer
Abstract. A method based on dependency pairs for showing termination of functional programs on data structures generated by constructors with relations is proposed. A functional pr...
189
click to vote
VLDB
2001
ACM
16 years 1 months ago
2001
ACM
In this paper, we present an approach to global transactionmanagementinworkflowenvironments.Thetransaction mechanism is based on the well-known notion of compensation, but extended...
101
click to vote
PERCOM
2008
ACM
16 years 1 months ago
2008
ACM
Abstract--Analytical models to evaluate and predict "precision" performance of indoor positioning systems based on location fingerprinting are lacking. Such models can be...
WISE
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. This paper proposes to exploit content and usage information to rearrange an inverted index for a full-text IR system. The idea is to merge the entries of two frequently ...
ICC
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract—This paper studies probabilistic information dissemination in random networks. Consider the following scenario: A node intends to deliver a message to all other nodes in...