619 search results - page 114 / 124 » IFIP |
104
click to vote
IFIP
2010
Springer
14 years 6 months ago
2010
Springer
We have designed, implemented and evaluated a resource adaptive distributed information sharing system where automatic adjustments are made internally in our information sharing sy...
108
click to vote
IFIP
2010
Springer
14 years 6 months ago
2010
Springer
Abstract. The BGP protocol is at the core of the routing infrastructure of the Internet. Across years, BGP has proved to be very stable for its purpose. However, there have been so...
120
click to vote
Publication
Texture representation of ultrasound (US) images is currently considered a major issue in medical image analysis. This paper investigates the texture representation of thyroid tiss...
IFIP
2004
Springer
15 years 5 months ago
2004
Springer
We develop an external memory algorithm for computing minimum spanning trees. The algorithm is considerably simpler than previously known external memory algorithms for this proble...
118
click to vote
IFIP
2004
Springer
15 years 5 months ago
2004
Springer
Abstract We introduce a generic framework for proof carrying code, developed and mechanically verified in Isabelle/HOL. The framework defines and proves sound a verification con...