Sciweavers

320 search results - page 39 / 64
» Completing design in use: closing the appropriation cycle
Sort
View
WISE
2007
Springer
15 years 8 months ago
On Tree Pattern Query Rewriting Using Views
We study and present our findings on two closely related problems on xpath rewriting using views when both the view and the query are tree patterns involving /,// and []. First, g...
Junhu Wang, Jeffrey Xu Yu, Chengfei Liu
CORR
2007
Springer
127views Education» more  CORR 2007»
15 years 1 months ago
Using decision problems in public key cryptography
There are several public key establishment protocols as well as complete public key cryptosystems based on allegedly hard problems from combinatorial (semi)group theory known by no...
Vladimir Shpilrain, Gabriel Zapata
137
Voted
FCCM
2002
IEEE
156views VLSI» more  FCCM 2002»
15 years 6 months ago
MPEG-Compliant Entropy Decoding on FPGA-Augmented TriMedia/CPU64
The paper presents a Design Space Exploration (DSE) experiment which has been carried out in order to determine the optimum FPGA–based Variable-Length Decoder (VLD) computing re...
Mihai Sima, Sorin Cotofana, Stamatis Vassiliadis, ...
WSCG
2003
176views more  WSCG 2003»
15 years 3 months ago
Grid Method Classification of Islamic Geometric Patterns
This paper proposes a rational classification of Islamic Geometric Patterns (IGP) based on the Minimum Number of Grids (MNG) and Lowest Geometric Shape (LGS) used in the construct...
Ahmad Aljamali, Ebad Banissi
ASM
2010
ASM
15 years 8 months ago
Using Event-B to Verify the Kmelia Components and Their Assemblies
and formal model, named Kmelia [1,2], with an associated language to specify components, their provided and required services and their assemblies; we also developed a framework na...
Pascal André, Gilles Ardourel, Christian At...