Sciweavers

2550 search results - page 368 / 510
» The Meaning of Open Standards
Sort
View
ICSE
2001
IEEE-ACM
15 years 3 months ago
Improving Validation Activities in a Global Software Development
Global software development challenges traditional techniques of software engineering, such as peer reviews or teamwork. Effective teamwork and coaching of engineers highly contri...
Christof Ebert, Casimiro Hernandez Parro, Roland S...
84
Voted
MICCAI
2001
Springer
15 years 3 months ago
Augmented Reality Guidance for Needle Biopsies: A Randomized, Controlled Trial in Phantoms
We report the results of a randomized, controlled trial to compare the accuracy of standard ultrasound-guided needle biopsy to biopsies performed using a 3D Augmented Reality (AR) ...
Michael Rosenthal, Andrei State, Joohi Lee, Gentar...
MICCAI
2001
Springer
15 years 3 months ago
Repeatability and Accuracy of Ankle Centre Location Estimates Using a Biaxial Joint Model
In conventional total knee replacement (TKR) surgery, a significant fraction of implants have varus/valgus alignment errors large enough to reduce the lifespan of the implant, so w...
Cameron A. Shute, Antony J. Hodgson
OOPSLA
2001
Springer
15 years 3 months ago
Object-Oriented Composition Untangled
Object-oriented languages come with pre-defined composition mechanisms, such as inheritance, object composition, or delegation, each characterized by a certain set of composition...
Klaus Ostermann, Mira Mezini
102
Voted
PAPM
2001
Springer
128views Mathematics» more  PAPM 2001»
15 years 3 months ago
Faster and Symbolic CTMC Model Checking
Abstract. This paper reports on the implementation and the experiments with symbolic model checking of continuous-time Markov chains using multi-terminal binary decision diagrams (...
Joost-Pieter Katoen, Marta Z. Kwiatkowska, Gethin ...