40 search results - page 3 / 8 » An Automatic Reviser: The TransCheck System |
KBSE
2006
IEEE
14 years 1 months ago
2006
IEEE
Software systems often undergo many revisions during their lifetime as new features are added, bugs repaired, abstractions simplified and refactored, and performance improved. Wh...
Publication
The widespread adoption of automated vehicle location systems (AVL) and automatic passenger counters (APC) in the transit industry has opened new venues in operations and system mo...
ITICSE
2006
ACM
14 years 1 months ago
2006
ACM
This paper illustrates how the notion of pattern can be used in the automatic analysis and synthesis of diagrams, applied particularly to the automatic marking of ER-diagrams. The...
SCL
2010
13 years 5 months ago
2010
ion-based failure diagnosis for discrete event systems Klaus Schmidt∗ Chair of Automatic Control, University of Erlangen-Nuremberg, Cauerstrasse 7, 91058 Erlangen, Germany a r t ...
SIGOPS
2010
13 years 5 months ago
2010
System logs come in a large and evolving variety of formats, many of which are semi-structured and/or non-standard. As a consequence, off-the-shelf tools for processing such logs ...