1669 search results - page 265 / 334 » Structured Specification of Model Interpreters |
105
click to vote
EMMCVPR
2003
Springer
15 years 5 months ago
2003
Springer
This paper presents a novel method for surface recovery from discrete 3D point data sets. In order to produce improved reconstruction results, the algorithm presented in this paper...
103
click to vote
EWSPT
2001
Springer
15 years 4 months ago
2001
Springer
A Software Development Process for a certain enterprise and/or a certain project will usually integrate elements from a variety of existing process models, comprising generic stand...
120
click to vote
RE
2001
Springer
15 years 4 months ago
2001
Springer
pture, at different levels of abstraction, the various objectives the system under consideration should achieve. Goal-oriented requirements engineering is concerned with the use o...
107
click to vote
FMCAD
2000
Springer
15 years 3 months ago
2000
Springer
Abstract. We present a formal verification methodology for datapathdominated hardware. This provides a systematic but flexible framework within which to organize the activities und...
163
click to vote
VLDB
2000
ACM
15 years 3 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...