1147 search results - page 60 / 230 » Termination in language-based systems |
LICS
2008
IEEE
14 years 3 months ago
2008
IEEE
We show that reachability and termination for lossy channel systems is exactly at level Fωω in the Fast-Growing Hierarchy of recursive functions, the first level that dominates...
ESSLLI
2009
Springer
13 years 6 months ago
2009
Springer
This paper describes cdiprover3 a tool for proving termination of term rewrite systems by polynomial interpretations and context dependent interpretations. The methods used by cdip...
IPPS
2007
IEEE
14 years 3 months ago
2007
IEEE
In this paper, we study the problem of an optimal assignment of a tree-structured context reasoning procedure onto the computation resources in a hostsatellites configuration. The...
JUCS
2008
13 years 8 months ago
2008
: The mining of generic software components from legacy systems can be used as an auxiliary technique to revitalize systems. This paper presents a software maintenance approach tha...
INFOCOM
2009
IEEE
14 years 3 months ago
2009
IEEE
—We study in this paper the question of determining locations of base stations (BSs) that may belong to the same or to competing service providers, taking into account the impact...