Sciweavers

3330 search results - page 564 / 666
» software 2010
Sort
View
FCSC
2010
92views more  FCSC 2010»
15 years 2 months ago
TRainbow: a new trusted virtual machine based platform
Currently, with the evolution of virtualization technology, cloud computing mode has become more and more popular. However, people still concern the issues of the runtime integrity...
Yuzhong Sun, Haifeng Fang, Ying Song, Lei Du, Kai ...
112
Voted
FOCM
2010
108views more  FOCM 2010»
15 years 2 months ago
Parallelization Method for a Continuous Property
Abstract. An automated method of general purpose is introduced for computing a rigorous estimate of a bounded region in Rn whose points satisfy a given property. The method is base...
Pawel Pilarczyk
ICMT
2010
Springer
15 years 2 months ago
Implementing Business Process Recovery Patterns through QVT Transformations
Traditionally, software maintenance takes only technical information into account to evolve legacy systems. However, business knowledge, which could help to improve the comprehensi...
Ricardo Pérez-Castillo, Ignacio Garcí...
ICRA
2010
IEEE
189views Robotics» more  ICRA 2010»
15 years 2 months ago
Affordable SLAM through the co-design of hardware and methodology
— Simultaneous localization and mapping (SLAM) is a prominent feature for autonomous robots operating in undefined environments. Applications areas such as consumer robotics app...
Stéphane Magnenat, Valentin Longchamp, Mich...
ICRA
2010
IEEE
144views Robotics» more  ICRA 2010»
15 years 2 months ago
Torque and workspace analysis for flexible tendon driven mechanisms
— Tendon driven mechanisms have been considered in robotic design for several decades. They provide lightweight end effectors with high dynamics. Using remote actuators it is pos...
Maxime Chalon, Thomas Wimböck, Gerd Hirzinger