5330 search results - page 941 / 1066 » The Performability Tool P'ility |
213
click to vote
KBSE
2010
IEEE
15 years 4 months ago
2010
IEEE
Decision procedures have long been a fixture in program analysis, and reasoning about string constraints is a key element in many program analyses and testing frameworks. Recent ...
179
click to vote
MIAR
2010
IEEE
15 years 4 months ago
2010
IEEE
Valve replacement is the most common therapy for diseased aortic valves. Percutaneous approaches are becoming increasingly popular, due to reduced procedural complications and lowe...
169
click to vote
RAS
2010
15 years 4 months ago
2010
An important competence for a mobile robot system is the ability to localize and perform context interpretation. This is required to perform basic navigation and to facilitate loc...
179
click to vote
TOCHI
2010
15 years 4 months ago
2010
Current Web search tools do a good job of retrieving documents that satisfy the wide range of intentions that people associate with a query – but do not do a very good job of di...
192
click to vote
ACSAC
2010
IEEE
15 years 4 months ago
2010
IEEE
Instruction-set randomization (ISR) is a technique based on randomizing the "language" understood by a system to protect it from code-injection attacks. Such attacks wer...