Sciweavers

3725 search results - page 350 / 745
» DLP System Description
Sort
View
EURODAC
1994
IEEE
120views VHDL» more  EURODAC 1994»
15 years 11 months ago
Generating compilers for generated datapaths
Modern CAD systems allow the designers to come up with powerful programmable datapaths in avery short time. The time to develop compilers for this datapaths is much longer. This p...
Michael Held, Manfred Glesner
ESSOS
2009
Springer
15 years 10 months ago
Pattern-Based Confidentiality-Preserving Refinement
Abstract. We present an approach to security requirements engineering, which makes use of special kinds of problem frames that serve to structure, characterize, analyze, and solve ...
Holger Schmidt
CSL
2006
Springer
15 years 10 months ago
Towards an Implicit Characterization of NCk
We define a hierarchy of term systems Tk by means of restrictions of the recursion schema. We essentially use a pointer technique together with tiering. We prove Tk NCk Tk+1 , for ...
Guillaume Bonfante, Reinhard Kahle, Jean-Yves Mari...
ECTEL
2006
Springer
15 years 10 months ago
Socially-Aware Informal Learning Support: Potentials and Challenges of the Social Dimension
With increasingly conceiving learning as a social activity, technological support must become more aware of the social context of the individual in order to be able to provide adeq...
Simone Braun, Andreas Schmidt
ENTER
2006
Springer
15 years 10 months ago
Product Reviews in Travel Decision Making
Product reviews or user opinions represent a peculiar information source that can be exploited in supporting travel decision making. Product reviews provide other user's expe...
Francesco Ricci, René T. A. Wietsma