193 search results - page 39 / 39 » A Combined Concept Location Method for Java Programs |
EMSOFT
2006
Springer
13 years 9 months ago
2006
Springer
We report on a case study in which the model checker Uppaal is used to formally model parts of Zeroconf, a protocol for dynamic configuration of IPv4 link-local addresses that has...
CLA
2007
13 years 7 months ago
2007
In this work we want to discuss an algorithm for drawing line diagrams of lattices based on force directed placement (FDP). This widely used technique in graph drawing introduces f...
SPRINGSIM
2008
13 years 7 months ago
2008
Background: Implementation of medical interventions may vary with organization and available capacity. The influence of this source of variability on the cost-effectiveness can be...