Sciweavers

1951 search results - page 198 / 391
» UML-Based integration testing
Sort
View
ISBI
2007
IEEE
15 years 10 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»
15 years 10 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....
CCGRID
2006
IEEE
15 years 10 months ago
SSB : A Grid-based Infrastructure for HLA Systems
Service Oriented EXtensible Modeling and Simulation Supporting Environment Architecture (SO-XMSSEA) is presented based on XMSF thinking and the new technology development of web s...
Xu Li-juan, Peng Xiao-yuan
CODES
2005
IEEE
15 years 10 months ago
System-level design automation tools for digital microfluidic biochips
Biochips based on digital microfluidics offer a powerful platform for massively parallel biochemical analysis such as clinical diagnosis and DNA sequencing. Current full-custom de...
Krishnendu Chakrabarty, Fei Su
EUROMICRO
2005
IEEE
15 years 10 months ago
Software Security Analysis - Execution Phase Audit
Code revision of a leading telecom product was performed, combining manual audit and static analysis tools. On average, one exploitable vulnerability was found for every 4000 line...
Bengt Carlsson, Dejan Baca