1712 search results - page 153 / 343 » Abstract Constraint Data Types |
121
click to vote
TACAS
2010
Springer
15 years 27 days ago
2010
Springer
Software model checkers are being used mostly to discover specific types of errors in the code, since exhaustive verification of complex programs is not possible due to state explo...
131
click to vote
RSFDGRC
1999
Springer
15 years 7 months ago
1999
Springer
Abstract. A generalized decision logic in interval-set-valued information tables is introduced, which is an extension of decision logic studied by Pawlak. Each object in an interva...
116
click to vote
SAFECOMP
1998
Springer
15 years 7 months ago
1998
Springer
Abstract. In this paper concepts for fault-tolerant communication systems in large-scale manipulators for heavy weights are introduced. This class of robots makes high demands on s...
132
click to vote
SAC
2004
ACM
15 years 8 months ago
2004
ACM
This paper describes wildcards, a new language construct designed to increase the flexibility of object-oriented type systems with parameterized classes. Based on the notion of v...
149
click to vote
DATESO
2008
15 years 4 months ago
2008
Abstract In recent years, many approaches to indexing XML data have appeared. These approaches attempt to process XML queries efficiently and sufficient query plans are built for t...