2482 search results - page 170 / 497 » Characterizing Programming Systems Allowing Program Self-ref... |
HASE
2008
IEEE
14 years 2 months ago
2008
IEEE
A high assurance system requires both functional and nonfunctional correctness before the system is put into operation. To examine whether a system’s actual performance complies...
CASES
2007
ACM
14 years 11 days ago
2007
ACM
Embedded systems are often used in safety-critical environments. Thus, thorough testing of them is mandatory. A quite active research area is the automatic test-case generation fo...
VLDB
1989
ACM
14 years 12 days ago
1989
ACM
realm of User Interface Management Systems (UIMS) with a built-in knowledgeabout the specifickinds of techniques used by object-oriented databases, we have designeda systemthat al...
COLING
1992
13 years 9 months ago
1992
We report on the initial stages of development of a robust parsing system, to be used as part of The Editor's Assistant, a program that detects and corrects textual errors an...
IVEVA
2004
13 years 9 months ago
2004
Abstract. In this paper we describe a system where behavior of characters and groups of characters are determined by assigning attributes to groups and individuals hierarchically a...