23201 search results - page 31 / 4641 » Rewriting Systems with Data |
101
click to vote
ENTCS
2000
15 years 19 days ago
2000
The rewriting calculus is a rule construction and application framework. As such it embeds in a uniform way term rewriting and lambda-calculus. Since rule application is an explic...
192
Voted
GIS
2004
ACM
16 years 1 months ago
2004
ACM
Despite various interoperability recommendations, heterogeneity of Geographic Information Systems (GIS) is still an issue. This led to an increasing need for a data integration sy...
135
Voted
SAC
2011
ACM
14 years 3 months ago
2011
ACM
Data stream management systems (DSMSs) process continuous queries over streaming data in real-time adhering to quality of service requirements. The data streams generated from sen...
128
click to vote
PLILP
1995
Springer
15 years 4 months ago
1995
Springer
Abstract. Using higher-order functions is standard practice in functional programming, but most functional logic programming languages that have been described in the literature la...
108
Voted
APN
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. We study data nets, a generalisation of Petri nets in which tokens carry data from linearlyordered infinite domains and in which whole-place operations such as resets an...