6014 search results - page 557 / 1203 » Structural Testing with Use Cases |
214
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
The structural properties of graphs are usually characterized in terms of invariants, which are functions of graphs that do not depend on the labeling of the nodes. In this paper ...
201
click to vote
AMAI
2004
Springer
16 years 19 days ago
2004
Springer
The framework of algorithmic knowledge assumes that agents use algorithms to compute the facts they explicitly know. In many cases of interest, a logical theory, rather than a par...
187
click to vote
TPHOL
2000
IEEE
15 years 11 months ago
2000
IEEE
We provide a proof using HOL and SPIN of convergence for the Routing Information Protocol (RIP), an internet protocol based on distance vector routing. We also calculate a sharp re...
177
click to vote
SERVICES
2008
15 years 8 months ago
2008
Numerical simulators are frequently used to assess future risks, support remediation and monitoring program decisions, and assist in design of specific remedial actions with respe...
179
click to vote
WICSA
2008
15 years 8 months ago
2008
During the last decades software architecture has become increasingly important for companies creating competitive product structures. Recently more and more attention has also be...