3376 search results - page 557 / 676 » Analyzing Software Evolvability |
177
click to vote
CRV
2009
IEEE
16 years 1 months ago
2009
IEEE
We present a vision-based control and interaction framework for mobile robots, and describe its implementation in a legged amphibious robot. The control scheme enables the robot t...
191
click to vote
CSE
2009
IEEE
16 years 1 months ago
2009
IEEE
—We introduce a novel set of social network analysis based algorithms for mining the Web, blogs, and online forums to identify trends and find the people launching these new tren...
183
click to vote
CSFW
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract. We present aspier – the first framework that combines software model checking with a standard protocol security model to analyze authentication and secrecy properties ...
176
click to vote
WCRE
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—The principles and best practices of object oriented design require that modules in a program should match logical decomposition of the knowledge that the program implem...
160
click to vote
IOLTS
2009
IEEE
16 years 1 months ago
2009
IEEE
—Robust circuit design has become a major concern for nanoscale technologies. As a consequence, for design validation, not only the functionality of a circuit has to be considere...