1965 search results - page 246 / 393 » On the analysis of interacting pushdown systems |
RIDE
1999
IEEE
14 years 2 months ago
1999
IEEE
One of the problems faced by an organisation participating in a virtual enterprise is how to specify internal and external aspects of the organisation in terms of the organisation...
WCRE
1997
IEEE
14 years 2 months ago
1997
IEEE
We present an approach for the generation of components for a software renovation factory. These components are generated from a context-free grammar definition that recognizes t...
VDA
2010
14 years 16 days ago
2010
The analysis of binary data remains a challenge, especially for large or potentially inconsistent files. Traditionally, hex editors only make limited use of semantic information a...
CAV
2008
Springer
14 years 4 days ago
2008
Springer
We describe Thor (Tool for Heap-Oriented Reasoning), a tool based on separation logic that is capable of reasoning automatically about heap-manipulating programs. There are several...
ANLP
1994
13 years 11 months ago
1994
PLANDoc, a system under joint development by Columbia and Bellcore, documents the activity of planning engineers as they study telephone routes. It takes as input a trace of the e...