624 search results - page 90 / 125 » A Structured Approach for Synthesizing Planners from Specifi... |
SIGSOFT
2008
ACM
14 years 9 months ago
2008
ACM
We observed a general problem of sequential programs, which often results in design and programming errors in industrial software engineering projects, and propose a solution appr...
EACL
1989
ACL Anthology
13 years 10 months ago
1989
ACL Anthology
This paper presents a critical discussion of the various approaches that have been used in the evaluation of Natural Language systems. We conclude that previous approaches have ne...
CCGRID
2003
IEEE
14 years 14 days ago
2003
IEEE
Applications that query into very large multidimensional datasets are becoming more common. Many self-describing scientific data file formats have also emerged, which have structu...
FASE
2010
Springer
14 years 4 days ago
2010
Springer
Runtime assertion checking is useful for debugging programs and specifications. Existing tools check invariants as well as method preand postconditions, but mostly ignore assignabl...
FMSD
2006
13 years 8 months ago
2006
In this paper we present data structures and distributed algorithms for CSL model checking-based performance and dependability evaluation. We show that all the necessary computatio...