1965 search results - page 38 / 393 » On the analysis of interacting pushdown systems |
IWPC
2000
IEEE
14 years 1 months ago
2000
IEEE
We combine type inference and concept analysis in order to gain insight into legacy software systems. Type inference for COBOL yields the types for variables and program parameter...
IFIP
1994
Springer
14 years 23 days ago
1994
Springer
There have been innumerable glowing reports of the way hypermedia systems allow users to explore and use vast amounts of information in ways not possible using traditional informa...
TVCG
2008
13 years 8 months ago
2008
Interactive steering with visualization has been a common goal of the visualization research community for twenty years, but it is rarely ever realized in practice. In this paper w...
BMCBI
2006
13 years 8 months ago
2006
Background: The goal of information integration in systems biology is to combine information from a number of databases and data sets, which are obtained from both high and low th...
OSDI
2006
ACM
14 years 9 months ago
2006
ACM
Mismanagement of the persistent state of a system--all the executable files, configuration settings and other data that govern how a system functions--causes reliability problems,...