Sciweavers

1308 search results - page 127 / 262
» Application of Hazard Analysis to Software Quality Modelling
Sort
View
129
Voted
HASE
1999
IEEE
15 years 8 months ago
Automatic Dependability Analysis for Supporting Design Decisions in UML
Even though a thorough system specification improves the quality of the design , it is not sufficient to guarantee that a system will satisfy its reliability targets. Within this ...
Andrea Bondavalli, Ivan Mura, István Majzik
CODES
2008
IEEE
15 years 10 months ago
Cache-aware optimization of BAN applications
Body-area sensor network or BAN-based health monitoring is increasingly becoming a popular alternative to traditional wired bio-monitoring techniques. However, most biomonitoring ...
Yun Liang, Lei Ju, Samarjit Chakraborty, Tulika Mi...
137
Voted
MICCAI
2003
Springer
16 years 4 months ago
Medially Based Meshing with Finite Element Analysis of Prostate Deformation
The finite element method (FEM) is well suited for use in the non-rigid registration of magnetic resonance spectroscopy images (MRSI) with intraoperative ultrasound images of the p...
Jessica R. Crouch, Stephen M. Pizer, Edward L. Cha...
139
Voted
TON
2008
144views more  TON 2008»
15 years 3 months ago
A comprehensive analysis of mobility management in MPLS-based wireless access networks
Efficient mobility management is one of the major challenges for next-generation mobile systems. Indeed, a mobile node (MN) within an access network may cause excessive signaling t...
Rami Langar, Nizar Bouabdallah, Raouf Boutaba
QSIC
2005
IEEE
15 years 9 months ago
Proving the Safety of SQL Queries
Many programs need to access data in a relational database. This is usually done by means of queries written in SQL. Although the language SQL is declarative, certain runtime erro...
Stefan Brass, Christian Goldberg