69 search results - page 5 / 14 » A design and analysis tool for underactuated compliant hands |
DOCENG
2007
ACM
15 years 1 months ago
2007
ACM
Genre, like layout, is an important factor in effective communication, and automated tools which assist in genre compliance are thus of considerable value. Genres are reusable met...
QSIC
2005
IEEE
15 years 3 months ago
2005
IEEE
Software inspections are established means of ensuring quality in software engineering. The traditional paper-based inspections are considered too laborious for widespread usage, ...
107
click to vote
ECMDAFA
2009
Springer
15 years 4 months ago
2009
Springer
The need for a design language that is rigorous but accessible and intuitive is often at odds with the formal and mathematical nature of languages used for analysis. UML and Petri ...
NAACL
2007
14 years 11 months ago
2007
This paper describes a novel text comparison environment that facilities text comparison administered through assessing and aggregating information nuggets automatically created a...
ISOLA
2010
Springer
14 years 7 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...