173 search results - page 23 / 35 » Processes for Adhesive Rewriting Systems |
GPCE
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. We describe our efforts to use source-level rewriting to optimize run-time program generators written in Jumbo, a run-time program generation system for Java. Jumbo is a...
WETICE
1997
IEEE
15 years 3 months ago
1997
IEEE
: Bugs in network application program can be exploited to compromise the system on which the application is running. When running these applications in an unsafe environment such a...
107
click to vote
VLDB
1994
ACM
15 years 3 months ago
1994
ACM
Most declarative SQL-like query languagesfor object-oriented database systems (OOSQL) are orthogonal languages allowing for arbitrary nesting of expressions in the select-, from-,...
142
click to vote
PKDD
2000
Springer
15 years 3 months ago
2000
Springer
Data mining is a useful decision support technique, which can be used to find trends and regularities in warehouses of corporate data. A serious problem of its practical applicatio...
FORTE
1996
15 years 1 months ago
1996
In this paper we present the application of the fair testing pre-order, introduced in a previous paper, to the speci cation and analysis of distributed systems. This pre-order com...