Sciweavers

750 search results - page 111 / 150
» Using codesign techniques to support analog functionality
Sort
View
WER
2004
Springer
15 years 7 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
15 years 6 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...
124
Voted
ATVA
2008
Springer
143views Hardware» more  ATVA 2008»
15 years 4 months 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»
15 years 2 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
15 years 2 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