170
click to vote
CBSE
2011
Springer
14 years 3 months ago
2011
Springer
Automating the construction of secure distributed systems becomes necessary. Indeed, developing security code requires a deep expertise and verifying that the developed code respe...
185
Voted
CBMS
2011
IEEE
14 years 3 months ago
2011
IEEE
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...
173
click to vote
CBMS
2011
IEEE
14 years 3 months ago
2011
IEEE
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...
211
click to vote
CBMS
2011
IEEE
14 years 3 months ago
2011
IEEE
Medical image simulation produces virtual images from software representations of imaging devices and virtual object models representing the human body. Object models consist of t...
169
Voted
CASES
2011
ACM
14 years 3 months ago
2011
ACM
Cost pressure is driving vendors of safety-critical systems to integrate previously distributed systems. One natural approach we have previous introduced is On-Demand Redundancy (...
272
click to vote
CASES
2011
ACM
14 years 3 months ago
2011
ACM
This paper advocates a rigorously formal and compositional style for obtaining key performance and/or interface metrics of systems with real-time constraints. We propose a hierarc...
144
click to vote
CASES
2011
ACM
14 years 3 months ago
2011
ACM
Escalating variations in modern CMOS designs have become a threat to Moore’s law. While previous works have proposed techniques for tolerating variations by trading reliability ...
116
click to vote
CASE
2011
14 years 3 months ago
2011
— This paper provides a general overview of the material covered in the fullday workshop with the same title devoted to the field of automation in microassembly and packaging at...
146
click to vote
CASE
2011
14 years 3 months ago
2011
— Legacy systems that do not conform to the norms and regulations imposed by recent safety standards have to be upgraded to meet safety requirements. In this paper, we describe a...
170
click to vote
CASC
2011
Springer
14 years 3 months ago
2011
Springer
Abstract. We study continuous dynamical systems defined by autonomous ordinary differential equations, themselves given by parametric rational functions. For such systems, we pro...