2409 search results - page 366 / 482 » Logical systems for structured specifications |
189
click to vote
TSDM
2000
15 years 7 months ago
2000
The growing production of maps is generating huge volume of data stored in large spatial databases. This huge volume of data exceeds the human analysis capabilities. Spatial data m...
199
click to vote
VLDB
2000
ACM
15 years 7 months ago
2000
ACM
Data allocation is a key performance factor for parallel database systems (PDBS). This holds especially for data warehousing environments where huge amounts of data and complex an...
114
click to vote
BIRTHDAY
1991
Springer
15 years 7 months ago
1991
Springer
: In this paper, we present a software engineer's view of user-interface development. First, we illustrate the main problem areas responsible for difficulties in building high...
181
click to vote
CKEC
1991
15 years 7 months ago
1991
We propose in this paper a general framework for integrating inductive and case-based reasoning techniques for diagnosis tasks. We present a set of practical integrated approaches...
156
click to vote
ASM
2008
ASM
15 years 5 months ago
2008
ASM
Abstract. The Mondex case study concerns the formal development and verification of an electronic purse protocol. Several groups have worked on its specification and mechanical ver...