Sciweavers

4397 search results - page 292 / 880
» Relational Algebra Operations
Sort
View
157
Voted
CIE
2009
Springer
15 years 8 months ago
Functions Definable by Arithmetic Circuits
An arithmetic circuit is a labelled, directed, acyclic graph specifying a cascade of arithmetic and logical operations to be performed on sets of non-negative integers. In this pap...
Ian Pratt-Hartmann, Ivo Düntsch
ADC
2006
Springer
119views Database» more  ADC 2006»
15 years 8 months ago
Using reflection for querying XML documents
XML-based databases have become a major area of in database research. Abstractly speaking they can be considered as a resurrection of complexvalue databases using constructors for...
Markus Kirchberg, Faizal Riaz-ud-Din, Klaus-Dieter...
CGI
2004
IEEE
15 years 8 months ago
Efficient Hardware for Antialiasing Coverage Mask Generation
An efficient low-cost, low-power hardware implementation of a novel run-time pixel coverage mask generation algorithm for embedded 3-D graphics antialiasing purposes is presented....
Dan Crisu, Sorin Cotofana, Stamatis Vassiliadis, P...
FATES
2006
Springer
15 years 8 months ago
A Test Calculus Framework Applied to Network Security Policies
Abstract. We propose a syntax-driven test generation technique to auly derive abstract test cases from a set of requirements expressed in a linear temporal logic. Assuming that an ...
Yliès Falcone, Jean-Claude Fernandez, Laure...
COORDINATION
2000
Springer
15 years 8 months ago
GCCS: A Graphical Coordination Language for System Specification
Abstract. We present GCCS, a graphical coordination language for hierarchical concurrent systems. GCCS, which is implemented in the Concurrency Factory design environment, represen...
Rance Cleaveland, Xiaoqun Du, Scott A. Smolka