2127 search results - page 57 / 426 » Software Automation |
89
Voted
UIST
1998
ACM
15 years 4 months ago
1998
ACM
This paper describes a programming-by-demonstration system, called Internet Scrapbook, which allows users with little programming skill to automate repetitive browsing tasks. With...
103
Voted
COORDINATION
2006
Springer
15 years 4 months ago
2006
Springer
How to coordinate the processes in a complex component-based software system is a nontrivial issue. Many different coordination approaches exist, each with its own specific advanta...
99
Voted
AMAST
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. Vx86 is the first static analyzer for sequential Intel x86 assembler code using automated deductive verification. It proves the correctness of assembler code against func...
103
click to vote
CODES
2005
IEEE
15 years 2 months ago
2005
IEEE
Memory bandwidth issues present a formidable bottleneck to accelerating embedded applications, particularly data bandwidth for multiple-issue VLIW processors. Providing an efficie...
101
Voted
MKWI
2008
15 years 2 months ago
2008
: IT risk management is an important challenge for businesses and software vulnerabilities are a major source of IT risks, as the 2006 CSI/FBI Computer Crime and Security Survey [G...