2127 search results - page 69 / 426 » Software Automation |
159
Voted
IUI
1997
ACM
15 years 7 months ago
1997
ACM
Most classification tasks that have been tackled for automation are ones involving complex chains of causal reasoning. However, our daily lives are filled with simple classificati...
138
click to vote
EUROMICRO
2009
IEEE
15 years 6 months ago
2009
IEEE
Model-driven application engineering builds on the concept of model transformations. To weave additional refinement parts into an application model, so-called refinement transform...
106
click to vote
ASWEC
2004
IEEE
15 years 6 months ago
2004
IEEE
Network protocol implementations are susceptible to problems caused by their lack of ability to handle invalid inputs. We present ASPIRE: Automated Systematic Protocol Implementat...
132
click to vote
ICFEM
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Coinduction is a major technique employed to prove behavioral properties of systems, such as behavioral equivalence. Its automation is highly desirable, despite the fact ...
122
click to vote
ICST
2010
IEEE
15 years 1 months ago
2010
IEEE
—Although many static-analysis techniques have been developed for automatically detecting bugs, such as null dereferences, fewer automated approaches have been presented for anal...