1407 search results - page 136 / 282 » Towards Usable Analysis, Design and Modeling Tools |
172
click to vote
ICRA
2008
IEEE
16 years 25 days ago
2008
IEEE
— This paper presents an initial design and feasibility study for a 1-DOF Magnetic Resonance Imaging (MRI) compatible needle driver robot for radiofrequency ablation (RFA). This ...
175
click to vote
ICCAD
2009
IEEE
15 years 4 months ago
2009
IEEE
Boolean satisfiability (SAT) based methods have traditionally been popular for formally verifying properties for digital circuits. We present a novel methodology for formulating a...
159
click to vote
ESCIENCE
2006
IEEE
16 years 13 days ago
2006
IEEE
TextGrid is a new Grid project in the framework of the German D-Grid initiative, with the aim to deploy Grid technologies for humanities scholars working on historical (German) te...
191
click to vote
ISOLA
2010
Springer
15 years 4 months ago
2010
Springer
The HATS project develops a formal method for the design, analysis, and implementation of highly adaptable software systems that are at the same time characterized by a high demand...
182
click to vote
AOSE
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Current Agent-Oriented Software Engineering (AOSE) methodologies adopt a model-based approach for analysis and design, but, in order to become of practical use, they shou...