367 search results - page 64 / 74 » A Rewriting Logic Sampler |
DOCENG
2003
ACM
14 years 1 months ago
2003
ACM
This paper describes an implementation for syntax-directed transformation of XML documents from one structure to another. The system is based on the method which we have introduce...
OOPSLA
2001
Springer
14 years 9 days ago
2001
Springer
Preventing abusive resource consumption is indispensable for all kinds of systems that execute untrusted mobile code, such as mobile object systems, extensible web servers, and we...
AGP
1999
IEEE
14 years 5 days ago
1999
IEEE
Disunification is the problem of deciding satisfiability of a system of equations and disequations with respect to a given equational theory. In this paper we study the disunifica...
TAPSOFT
1997
Springer
14 years 7 hour ago
1997
Springer
The goal of this paper is to analyse semantics of algorithms with explicit continuous time with further aim to nd approaches to automatize model checking in high level, easily unde...
FSEN
2009
Springer
13 years 11 months ago
2009
Springer
We propose and explore a formal approach for black-box testing asynchronously communicating components in open environments. Asynchronicity poses a challenge for validating and tes...