Sciweavers

5775 search results - page 102 / 1155
» A Rationale-based Analysis Tool
Sort
View
DSN
2000
IEEE
15 years 10 months ago
DEEM: A Tool for the Dependability Modeling and Evaluation of Multiple Phased Systems
Multiple-Phased Systems, whose operational life can be partitioned in a set of disjoint periods, called “phases”, include several classes of systems such as Phased Mission Sys...
Andrea Bondavalli, Ivan Mura, Silvano Chiaradonna,...
SIGDOC
1997
ACM
15 years 10 months ago
CogentHelp: A Tool for Authoring Dynamically Generated Help for Java GUIs
CogentHelp is a prototype tool for authoring dynamically generated on-line help for applications with graphical user interfaces (GUIs) built using the tract Windowing Toolkit (AWT...
David E. Caldwell, Michael White
ICDAR
1995
IEEE
15 years 10 months ago
Tools for interactive map conversion and vectorization
The process of converting an analog map into structured digitized information requires several di erent operations, which are all time-consuming when performed manually. Strictly ...
Line Eikvil, Kjersti Aas, Hans Koren
EPK
2006
95views Management» more  EPK 2006»
15 years 7 months ago
Integration of EPC-related Tools with ProM
: The heterogeneity of different formats for EPCs is a major problem for model interchange between specialized tools in practice. In this paper, we compare three different formats ...
Paul Barborka, Lukas Helm, Georg Köldorfer, J...
CCR
2006
89views more  CCR 2006»
15 years 6 months ago
A passive state-machine approach for accurate analysis of TCP out-of-sequence segments
In this paper we describe a new tool being made available to the networking research community for passive analysis of TCP segment traces. The purpose of the tool is to provide mo...
Sushant Rewaskar, Jasleen Kaur, F. Donelson Smith