Sciweavers

7117 search results - page 1206 / 1424
» IT Governance Frameworks as Methods
Sort
View
RT
1998
Springer
15 years 11 months ago
Automatic Calculation of Soft Shadow Textures for Fast, High-Quality Radiosity
We propose a new method for greatly accelerating the computation of complex, detailed shadows in a radiosity solution. Radiosity is computed using a "standard" hierarchi...
Cyril Soler, François X. Sillion
SPATIALCOGNITION
1998
Springer
15 years 11 months ago
Shape Nouns and Shape Concepts: A Geometry for 'Corner'
This paper investigates geometric and ontological aspects of shape concepts underlying the semantics of nouns. Considering the German shape nouns Ecke and Knick (corner and kink) w...
Carola Eschenbach, Christopher Habel, Lars Kulik, ...
EUROMICRO
1996
IEEE
15 years 11 months ago
Behaviour-Preserving Transformations in SHE: A Formal Approach to Architecture Design
SHE (Software/Hardware Engineering) is an objectoriented analysis, specification and design method for complex reactive hardware/software systems. SHE is based on the formal speci...
Jeroen Voeten, P. H. A. van der Putten, M. P. J. S...
ICFEM
1997
Springer
15 years 11 months ago
Formally Specifying and Verifying Real-Time Systems
A real-time computer system is a system that must perform its functions within specified time bounds. These systems are generally characterized by complex interactions with the en...
Richard A. Kemmerer
TAPSOFT
1997
Springer
15 years 11 months ago
Specifying Complex and Structured Systems with Evolving Algebras
This paper presents an approach for specifying complex, structured systems with Evolving Algebras by means of aggregation and composition. Evolving algebras provide a formal method...
Wolfgang May
« Prev « First page 1206 / 1424 Last » Next »