4048 search results - page 417 / 810 » Design Science, Engineering Science and Requirements Enginee... |
158
click to vote
VISUALIZATION
2003
IEEE
16 years 1 days ago
2003
IEEE
The goal of this paper is to transfer image processing to vector fields and flow visualization by defining a suitable convolution operation. For this, a multiplication of vecto...
156
click to vote
ICSM
2002
IEEE
15 years 11 months ago
2002
IEEE
Assertions, or more generally “Programming by contract”, have gained widespread acceptance in the computer science community as a means for correct program development. Howeve...
175
click to vote
IUI
2000
ACM
15 years 11 months ago
2000
ACM
Computer gaming offers a unique test-bed and market for advanced concepts in computer science, such as Human Computer Interaction (HCI), computer-supported collaborative work (CSC...
221
click to vote
FOSSACS
1999
Springer
15 years 11 months ago
1999
Springer
This paper presents a mu-calculus-based modal logic for describing properties of reactive probabilistic labeled transition systems (RPLTSs) and develops a modelchecking algorithm ...
221
click to vote
ESEC
1997
Springer
15 years 11 months ago
1997
Springer
Fifteen teams recently used the WinWin Spiral Model to perform the system engineering and architecting of a set of multimedia applications for the USC Library Information Systems....