Sciweavers

18209 search results - page 343 / 3642
» Some Remarks on the Paper
Sort
View
ICSE
2000
IEEE-ACM
15 years 10 months ago
Requirements engineering: a roadmap
This paper presents an overview of the field of software systems requirements engineering (RE). It describes the main areas of RE practice, and highlights some key open research i...
Bashar Nuseibeh, Steve M. Easterbrook
162
Voted
IV
2000
IEEE
112views Visualization» more  IV 2000»
15 years 10 months ago
Sonification of Remote Sensing Data: Initial Experiment
We are generating music from a particular view of a multi-dimensional geographic information system (GIS) data set to alert a viewer to the existence of hidden clusters of data po...
Frances L. Van Scoy
SOFSEM
2000
Springer
15 years 10 months ago
Simplified Witness Tree Arguments
Abstract. In this paper we survey some results concerning balls-intobins-games and the power of two choices. We present a unified and rather elementary analysis for models in the p...
Thomas Schickinger, Angelika Steger
TABLEAUX
2000
Springer
15 years 10 months ago
Consistency Testing: The RACE Experience
Abstract. This paper presents the results of applying RACE, a description logic system for ALCNHR+ , to modal logic SAT problems. Some aspects of the RACE architecture are discusse...
Volker Haarslev, Ralf Möller
FPGA
1995
ACM
107views FPGA» more  FPGA 1995»
15 years 10 months ago
Multi-way System Partitioning into a Single Type or Multiple Types of FPGAs
This paper considers the problem of partitioning a circuit into a collection of subcircuits, such that each subcircuit is feasible for some device from an FPGA library, and the to...
Dennis J.-H. Huang, Andrew B. Kahng