Sciweavers

750 search results - page 111 / 150
» Using codesign techniques to support analog functionality
Sort
View
WER
2004
Springer
14 years 4 months ago
A pattern language to join early and late requirements
At present, the early phase of Requirements Engineering is a new research area in the Software Engineering field. This phase is concerned with the analysis of the organizational c...
Alicia Martínez, Oscar Pastor, Hugo Estrada
SIGGRAPH
2000
ACM
14 years 3 months ago
Relief texture mapping
We present an extension to texture mapping that supports the representation of 3-D surface details and view motion parallax. The results are correct for viewpoints that are static...
Manuel M. Oliveira, Gary Bishop, David F. McAllist...
ATVA
2008
Springer
143views Hardware» more  ATVA 2008»
14 years 25 days ago
Automating Algebraic Specifications of Non-freely Generated Data Types
Abstract. Non-freely generated data types are widely used in case studies carried out in the theorem prover KIV. The most common examples are stores, sets and arrays. We present an...
Andriy Dunets, Gerhard Schellhorn, Wolfgang Reif
JOT
2006
121views more  JOT 2006»
13 years 10 months ago
Constructing persistent object-oriented models with standard C++
In this paper, it is suggested an approach and a design pattern for developing object-oriented models that need to be persistent, including the databases of moderate size, with us...
Alexander Kozynchenko
SP
2008
IEEE
13 years 10 months ago
Predictable Design of Network-Based Covert Communication Systems
This paper presents a predictable and quantifiable approach to designing a covert communication system capable of effectively exploiting covert channels found in the various layer...
Ronald William Smith, George Scott Knight