631 search results - page 113 / 127 » Deriving Specifications from Requirements: An Example |
EDBT
2006
ACM
14 years 6 months ago
2006
ACM
In [12] we introduce a novel architecture for data processing, based on a functional fusion between a data and a computation layer. In this demo we show how this architecture is le...
DEXA
2005
Springer
14 years 8 days ago
2005
Springer
In this paper we introduce a novel architecture for data processing, based on a functional fusion between a data and a computation layer. We show how such an architecture can be le...
VLDB
2004
ACM
14 years 2 days ago
2004
ACM
Large boolean matrices are a basic representational unit in a variety of applications, with some notable examples being interactive visualization systems, mining large graph struc...
VVS
1998
IEEE
13 years 11 months ago
1998
IEEE
High quality rendering and physics-based modeling in volume graphics have been limited because intensity-based volumetric data do not represent surfaces well. High spatial frequen...
CE
2008
13 years 6 months ago
2008
E-Science has the potential to transform school science by enabling learners, teachers and research scientists to engage together in authentic scientific enquiry, collaboration an...