1965 search results - page 108 / 393 » On the analysis of interacting pushdown systems |
SEKE
2009
Springer
14 years 3 months ago
2009
Springer
Code review is often suggested as a means of improving code quality. Since humans are poor at repetitive tasks, some form of tool support is valuable. To that end we developed a p...
KBSE
2006
IEEE
14 years 2 months ago
2006
IEEE
A software system interacts with its environment through system interfaces. Robustness of software systems are governed by various temporal properties related to these interfaces,...
MM
2000
ACM
14 years 1 months ago
2000
ACM
We have been handling video with supplementary documents, such as cooking programs, and are working on integration of such media. Through the integration, many applications will b...
MEDINFO
2007
13 years 10 months ago
2007
Large-scale implementation of electronic prescribing systems (e-PS) is likely to introduce at least some machinerelated errors that will harm patients. We present a dynamic system...
WSC
1998
13 years 10 months ago
1998
Informational Macrodynamics (IMD) presents a unified informational systemic approach with common information language for modeling, analysis and optimization of a variety of inter...