223 search results - page 2 / 45 » Automated Implicit Computational Complexity Analysis (System... |
PRDC
2005
IEEE
13 years 10 months ago
2005
IEEE
This paper reports our experience on the development of a design-for-safety (DFS) workbench called Risk Assessment and Management Environment (RAME) for microelectronic avionics s...
DLOG
2009
13 years 2 months ago
2009
Abstract. GridTest is a framework for testing automated theorem provers using randomly generated formulas. It can be used to run tests locally, in a single computer, or in a comput...
ECAI
2000
Springer
13 years 8 months ago
2000
Springer
AutoSteve performs automated electrical design based on qualitative simulation and functional abstraction. It is the first commercial product capable of performing these tasks for ...
CHI
1998
ACM
13 years 8 months ago
1998
ACM
The Cognitive Function Analysis is a methodology supportedby a mediating tool for the human-centered automationof safety-critical systems[4]. It is basedon a socio-cognitive model...
COLING
2002
13 years 4 months ago
2002
We present a principled approach to the problem of connecting a controlled document authoring system with a knowledge base. We start by describingclosed-world authoring situations...