Sciweavers

3605 search results - page 100 / 721
» System and simulation modeling using SysML
Sort
View
FMICS
2009
Springer
15 years 9 months ago
Formal Analysis of Non-determinism in Verilog Cell Library Simulation Models
Cell libraries often contain a simulation model in a system design language, such as Verilog. These languages usually involve nondeterminism, which in turn, poses a challenge to th...
Matthias Raffelsieper, Mohammad Reza Mousavi, Jan-...
ICCSA
2003
Springer
15 years 8 months ago
Camera Models and Optical Systems Used in Computer Graphics: Part I, Object-Based Techniques
Abstract. Images rendered with traditional computer graphics techniques, such as scanline rendering and ray tracing, appear focused at all depths. However, there are advantages to ...
Brian A. Barsky, Daniel R. Horn, Stanley A. Klein,...
IAT
2007
IEEE
15 years 9 months ago
Dynamic Data Driven Multi-Agent Simulation
Networks of sensors and simulation models of the physical environment have been implemented separately, often using agent-based methodologies. Some work has been done in providing...
Gary M. Pereira
WSC
2007
15 years 5 months ago
Modeling and simulation of group behavior in e-government implementation
This study proposes a multi-agent modeling and simulation approach using EGGBM (E-Government Group Behavior Model) to research complex group behavior in Egovernment implementation...
Jiang Wu, Bin Hu
WSC
2004
15 years 4 months ago
Stochastic Petri Nets for Modelling and Simulation
Stochastic Petri nets (SPNs) have proven to be a powerful and enduring graphically-oriented framework for modelling and performance analysis of complex systems. This tutorial focu...
Peter J. Haas