5451 search results - page 525 / 1091 » Typed Operational Semantics |
142
click to vote
MINENET
2005
ACM
16 years 12 days ago
2005
ACM
Enterprise networks contain hundreds, if not thousands, of cooperative end-systems. We advocate devoting a small fraction of their idle cycles, free disk space and network bandwid...
155
click to vote
VLDB
2005
ACM
16 years 10 days ago
2005
ACM
In this paper, we propose a method for maintaining a semantic cache of materialized XPath views. The cached views include queries that have been previously asked, and additional s...
131
click to vote
GG
2004
Springer
16 years 7 days ago
2004
Springer
We propose a faithful encoding of Java programs (written in a suitable fragment of the language) to Graph Transformation Systems. Every program is translated to a set of rules incl...
159
click to vote
ICANN
2003
Springer
16 years 2 days ago
2003
Springer
We discuss a Probably Approximate Correct (PAC) learning paradigm for Boolean formulas, which we call PAC meditation, where the class of formulas to be learnt is not known in advan...
175
click to vote
CCGRID
2002
IEEE
15 years 11 months ago
2002
IEEE
In this work we present the Internet Backplane Protocol (IBP), a middleware created to allow the sharing of storage resources, implemented as part of the network fabric. IBP allow...