1527 search results - page 189 / 306 » From Requirements to Design: Formalizing the Key Steps |
165
click to vote
ICRA
2006
IEEE
16 years 9 days ago
2006
IEEE
– This paper presents two actuation compensation methods for a snake-like robot implementing multi flexible backbones and actuation redundancy. This snake-like robot is designed ...
196
click to vote
ICSE
2010
IEEE-ACM
15 years 11 months ago
2010
IEEE-ACM
Many software projects fail because they overlook stakeholders or involve the wrong representatives of significant groups. Unfortunately, existing methods in stakeholder analysis...
177
click to vote
DILS
2006
Springer
15 years 10 months ago
2006
Springer
Steps in scientific workflows often generate collections of results, causing the data flowing through workflows to become increasingly nested. Because conventional workflow compone...
167
click to vote
CCS
2008
ACM
15 years 8 months ago
2008
ACM
In 1998, Blaze, Bleumer, and Strauss suggested a cryptographic primitive termed proxy re-signature in which a proxy transforms a signature computed under Alice's secret key in...
174
click to vote
SAT
2010
Springer
15 years 4 months ago
2010
Springer
This paper presents a detailed empirical study of local search for Boolean satisfiability (SAT), highlighting several interesting properties, some of which were previously unknown...