4716 search results - page 373 / 944 » Iterative-free program analysis |
165
click to vote
ARCS
2004
Springer
16 years 4 days ago
2004
Springer
Abstract: Which Software Reliability Engineering (SRE) methods should be applied during the various phases of the lifecycle of a product? The answer given here centres on learning ...
147
click to vote
IFIP
2004
Springer
16 years 3 days ago
2004
Springer
We formally specify a payment protocol described in [Vogt et al., 2001]. This protocol is intended for fair exchange of time-sensitive data. Here the µCRL language is used to form...
164
click to vote
MICCAI
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. Vessels supplying malignant tumors are abnormally shaped. This paper describes a blinded study that assessed tumor malignancy by analyzing vessel shape within MR images o...
169
click to vote
IFIP
2003
Springer
15 years 12 months ago
2003
Springer
In multi-hop wireless networks, every node is expected to forward packets for the benefit of other nodes. Yet, if each node is its own authority, then it may selfishly deny packe...
143
click to vote
ICRA
1999
IEEE
15 years 11 months ago
1999
IEEE
We presentthe first configurationspacecomputationalgorithm for pairs of rigid parts that move along fixed spatial axes. The motivation is contactanalysisformechanical design of sp...