2266 search results - page 229 / 454 » How Not to Evaluate a Developmental System |
148
click to vote
SCAM
2002
IEEE
15 years 11 months ago
2002
IEEE
Tools that analyze and enhance large-scale software systems using symbolic reasoning are computationally expensive, and yet processors are cheap. We believe that enabling tools wi...
150
click to vote
WADT
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. The ELAN system is an environment for specifying and prototyping constraint solvers, theorem provers and deduction systems in general. It also provides a framework for ex...
140
click to vote
AGENTS
1997
Springer
15 years 10 months ago
1997
Springer
: Software agents comprise a new area for research and soon will be embedded and ubiquitous in modern computing systems. In this formative phase, it is important to develop compreh...
182
click to vote
ITC
1996
IEEE
15 years 10 months ago
1996
IEEE
Abstract. In complex systems, embedded processors may be used to run software routines for test pattern generation and response evaluation. For system components which are not comp...
149
click to vote
VLDB
1997
ACM
15 years 10 months ago
1997
ACM
In this paper, we present and evaluate alternative techniques to effect the use of location-independent identiļ¬ers in distributed database systems. Location-independent identiļ¬...