Sciweavers

41938 search results - page 128 / 8388
» Complex Systems Modeling
Sort
View
VRST
2004
ACM
15 years 10 months ago
A CAVE system for interactive modeling of global illumination in car interior
Global illumination dramatically improves realistic appearance of rendered scenes, but usually it is neglected in VR systems due to its high costs. In this work we present an effi...
Kirill Dmitriev, Thomas Annen, Grzegorz Krawczyk, ...
ICST
2008
IEEE
15 years 11 months ago
Model-Based Testing of Automotive Systems
In recent years the development of automotive embedded devices has changed from an electrical and mechanical engineering discipline to a combination of software and electrical/mec...
Eckard Bringmann, Andreas Krämer
133
Voted
ECLIPSE
2006
ACM
15 years 8 months ago
A toolsuite for the verification of real-time systems in Eclipse
In this work we present an Eclipse plug-in for the VInTiMe (Verifier of INtegrated TImed ModEls)1 suite of tools that combines high-level expressive power, unassisted propertypres...
Lucía Cavatorta, Guido de Caso, André...
140
Voted
ACAL
2007
Springer
15 years 9 months ago
A Dual Phase Evolution Model of Adaptive Radiation in Landscapes
In this study, we describe an evolutionary mechanism
Greg Paperin, David G. Green, Suzanne Sadedin, Tan...
ACSC
2008
IEEE
15 years 11 months ago
A model, schema, and interface for metadata file systems
Modern computer systems are based on the traditional hierarchical file system model, but typically contain large numbers of files with complex interrelationships. This tradition...
Stijn Dekeyser, Richard Watson, Lasse Motrø...