3342 search results - page 98 / 669 » Automating Abstract Interpretation |
CADE
2008
Springer
15 years 11 months ago
2008
Springer
We propose a procedure for automated implicit inductive theorem proving for equational specifications made of rewrite rules with conditions and constraints. The constraints are int...
OSDI
2004
ACM
15 years 11 months ago
2004
ACM
This paper studies the use of statistical induction techniques as a basis for automated performance diagnosis and performance management. The goal of the work is to develop and ev...
ECWEB
2000
Springer
15 years 2 months ago
2000
Springer
Agent technologies are now being considered for automating tasks in e-commerce applications. However, conventional software agents with predefined functions, but without the abilit...
94
Voted
ISMB
2000
15 years 13 days ago
2000
Determination of the functions of all expressed proteins represents one of the major upcoming challenges in computational molecular biology. Since subcellular location plays a cru...
WSC
1997
15 years 13 days ago
1997
Model abstraction using metamodeling has demonstrated the capability to facilitate software reuse, large scale model integration, verification, and validation. Once restricted to...