2127 search results - page 346 / 426 » Software Automation |
123
click to vote
WWW
2001
ACM
16 years 3 months ago
2001
ACM
Representation of negotiations in electronic markets and their support are important issues in today's e-commerce research. Whereas most activities are focused on automation ...
162
click to vote
VMCAI
2010
Springer
16 years 7 days ago
2010
Springer
Abstract. Techniques such as verification condition generation, preditraction, and expressive type systems reduce software verification to proving formulas in expressive logics. Pr...
146
click to vote
EUROSYS
2010
ACM
16 years 2 days ago
2010
ACM
The benefits of virtualized IT environments, such as compute clouds, have drawn interested enterprises to migrate their applications onto new platforms to gain the advantages of ...
110
click to vote
ICCAD
2006
IEEE
15 years 12 months ago
2006
IEEE
Although many recent advances have been made in hardware synthesis techniques from software programming languages such as C, the performance of synthesized hardware commonly suffe...
116
click to vote
SOSP
2009
ACM
15 years 12 months ago
2009
ACM
Windows Error Reporting (WER) is a distributed system that automates the processing of error reports coming from an installed base of a billion machines. WER has collected billion...