Sciweavers

6014 search results - page 717 / 1203
» Structural Testing with Use Cases
Sort
View
ALGORITHMICA
2006
132views more  ALGORITHMICA 2006»
15 years 7 months ago
Straight-Line Drawing Algorithms for Hierarchical Graphs and Clustered Graphs
Hierarchical graphs and clustered graphs are useful non-classical graph models for structured relational information. Hierarchical graphs are graphs with layering structures; clus...
Peter Eades, Qing-Wen Feng, Xuemin Lin, Hiroshi Na...
MANSCI
2007
107views more  MANSCI 2007»
15 years 7 months ago
Credit Risk in a Network Economy
We develop a structural model of credit risk in a network economy, where any firm can lend to any other firm, so that each firm is subject to counterparty risk either from dire...
Didier Cossin, Henry Schellhorn
SLOGICA
2002
74views more  SLOGICA 2002»
15 years 6 months ago
Transfers between Logics and their Applications
In this paper, logics are conceived as two-sorted first-order structures, and we argue that this broad definition encompasses a wide class of logics with theoretical interest as w...
Marcelo E. Coniglio, Walter Alexandre Carnielli
ISVC
2010
Springer
15 years 5 months ago
Subversion Statistics Sifter
We present Subversion Statistics Sifter, a visualisation and statistics system for exploring the structure and evolution of data contained in Subversion repositories with respect t...
Christoph Müller, Guido Reina, Michael Burch,...
ESA
2011
Springer
249views Algorithms» more  ESA 2011»
14 years 7 months ago
Improved Algorithms for Partial Curve Matching
Back in 1995, Alt and Godau gave an efficient algorithm for deciding whether a given curve resembles some part of a larger curve under a fixed Fr´echet distance, achieving a runn...
Anil Maheshwari, Jörg-Rüdiger Sack, Kave...