Sciweavers

CBSE
2011
Springer
14 years 7 months ago
Towards incremental component compatibility testing
Software components are increasingly assembled from other components. Each component may further depend on others, and each may have multiple active versions. The total number of ...
Il-Chul Yoon, Alan Sussman, Atif M. Memon, Adam A....
CBSE
2011
Springer
14 years 7 months ago
Rectifying orphan components using group-failover in distributed real-time and embedded systems
Orphan requests are a significant problem for multi-tier distributed systems since they adversely impact system correctness by violating the exactly-once semantics of application...
Sumant Tambe, Aniruddha S. Gokhale
CBSE
2011
Springer
14 years 7 months ago
Automating information flow control in component-based distributed systems
Automating the construction of secure distributed systems becomes necessary. Indeed, developing security code requires a deep expertise and verifying that the developed code respe...
Takoua Abdellatif, Lilia Sfaxi, Riadh Robbana, Yas...
CBMS
2011
IEEE
14 years 7 months ago
Ultrasound palpation by haptic elastography
Palpation is an important method in the medical physical examination. Surface palpation alone, however, cannot be used in many situations due to the anatomical positions. Elastogr...
Karljohan E. Lundin Palmerius, Roald Flesland Havr...
CBMS
2011
IEEE
14 years 7 months ago
3D Visualization and interaction with spatiotemporal X-ray data to minimize radiation in image-guided surgery
Image-guided surgery (IGS) often depends on X-ray imaging, since pre-operative MRI, CT and PET scans do not provide an up-to-date internal patient view during the operation. X-ray...
Foteini Ioakeimidou, Alex Olwal, Axel Nordberg, Ha...