Sciweavers

1944 search results - page 194 / 389
» Coupling-based Integration Testing
Sort
View
SECURWARE
2008
IEEE
14 years 5 months ago
A Dependability Case Approach to the Assessment of IP Networks
—IP networks, composing the Internet, form a central part of the information infrastructure of the modern society. Integrated approaches to the assessment of their dependability ...
Ilkka Norros, Pirkko Kuusela, Pekka Savola
ICRA
2007
IEEE
108views Robotics» more  ICRA 2007»
14 years 5 months ago
Automated Tool Handling for the Trauma Pod Surgical Robot
— In order to enable robotic surgery without human assistance, a means must be developed to change tools. As part of the larger Trauma Pod Project, we developed the Tool Rack Sub...
Diana C. W. Friedman, Jesse Dosher, Tim Kowalewski...
IROS
2007
IEEE
189views Robotics» more  IROS 2007»
14 years 5 months ago
Differential evolution approach to the grid-based localization and mapping problem
— A new solution to the Simultaneous Localization and Modelling problem is presented. It is based on the stochastic search of solutions in the state space to the global localizat...
Luis Moreno, Santiago Garrido, Fernando Martin, Ma...
ISBI
2007
IEEE
14 years 5 months ago
Probabilistic Segmentation of Brain Tumors Based on Multi-Modality Magnetic Resonance Images
In this paper, multi-modal Magnetic Resonance (MR) images are integrated into a tissue profile that aims at differentiating tumor components, edema and normal tissue. This is achi...
Hongmin Cai, Ragini Verma, Yangming Ou, Seung-koo ...
IFM
2007
Springer
245views Formal Methods» more  IFM 2007»
14 years 4 months ago
Co-simulation of Distributed Embedded Real-Time Control Systems
Development of computerized embedded control systems is difficult because it brings together systems theory, electrical engineering and computer science. The engineering and analys...
Marcel Verhoef, Peter Visser, Jozef Hooman, Jan F....