Sciweavers

9018 search results - page 1710 / 1804
» 3D-Brain Model Software
Sort
View
SAC
2008
ACM
15 years 5 months ago
UML-based design test generation
In this paper we investigate and propose a fully automated technique to perform conformance checking of Java implementations against UML class diagrams. In our approach, we reused...
Waldemar Pires, João Brunet, Franklin Ramal...
SAC
2008
ACM
15 years 5 months ago
ECG data provisioning for telehomecare monitoring
The latest computer and communication technologies in combination with an enhanced ECG analysis system can be used to improve cardiac patient's follow-up out-of-hospital. In ...
Bernardo Gonçalves, José Gonç...
FOCM
2010
108views more  FOCM 2010»
15 years 4 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
ICRA
2010
IEEE
129views Robotics» more  ICRA 2010»
15 years 4 months ago
Optimal passive dynamics for torque/force control
Abstract— For robotic manipulation tasks in uncertain environments, good force control can provide significant benefits. The design of force-controlled actuators typically revo...
Kevin Kemper, Devin Koepl, Jonathan Hurst
ICWE
2010
Springer
15 years 4 months ago
Business Process Compliance through Reusable Units of Compliant Processes
Compliance management is essential for ensuring that organizational business processes and supporting information systems are in accordance with a set of prescribed requirements or...
David Schumm, Oktay Türetken, Natallia Kokash...
« Prev « First page 1710 / 1804 Last » Next »