3179 search results - page 336 / 636 » Applications of PCF Theory |
139
click to vote
IFIP
1999
Springer
15 years 8 months ago
1999
Springer
This paper initiates a framework for improving product development processes. The starting point is the present gap between the theory of product and process models and their actu...
136
click to vote
PKC
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. Many applications rely on the security of their random number generator. It is therefore essential that such devices be extensively tested for malfunction. The purpose of...
122
click to vote
KBSE
1998
IEEE
15 years 8 months ago
1998
IEEE
In this paper we describe a tools environment which automates the validation and maintenance of a requirements model written in many-sorted first order logic. We focus on: a trans...
123
click to vote
COBUILD
1998
Springer
15 years 8 months ago
1998
Springer
We envision that the architectural space we inhabit will be a new form of interface between humans and online digital information. This paper discusses Ambient Displays: a new appr...
130
click to vote
GLVLSI
1997
IEEE
15 years 8 months ago
1997
IEEE
Multi-dimensional systems containing nested loops are widely used to model scientific applications such as image processing, geophysical signal processing and fluid dynamics. Ho...