Sciweavers

3605 search results - page 37 / 721
» System and simulation modeling using SysML
Sort
View
ICCAD
2008
IEEE
151views Hardware» more  ICCAD 2008»
14 years 5 months ago
Race analysis for SystemC using model checking
—SystemC is a system-level modeling language that offers a wide range of features to describe concurrent systems rent levels of abstraction. The SystemC standard permits simulato...
Nicolas Blanc, Daniel Kroening
WSC
2000
13 years 9 months ago
Medical education as a model for simulation education
Simulation professionals need to see themselves first as systems analysts, i.e., problem solvers, rather than just simulation users. As the networked digital economy develops, sys...
Andrew F. Seila
BMCBI
2011
13 years 3 days ago
Acorn: A grid computing system for constraint based modeling and visualization of the genome scale metabolic reaction networks v
Background: Constraint-based approaches facilitate the prediction of cellular metabolic capabilities, based, in turn on predictions of the repertoire of enzymes encoded in the gen...
Jacek Sroka, Lukasz Bieniasz-Krzywiec, Szymon Gwoz...
WSC
1997
13 years 9 months ago
The Four Phase Method for Modelling Complex Systems
This paper investigates an attempt to combine different simulation tools in order to build a simulation environment that can be used to model complex system behaviour. The compone...
Hamad I. Odhabi, Ray J. Paul, Robert D. Macredie
ATAL
2008
Springer
13 years 10 months ago
The Use of Norms Violations to Model Agents Behavioral Variety
In multi-agent applications, normative systems are usually used to regulate the behavior of the agents. They provide an efficient means to ensure limited deviations from an expecte...
Benoit Lacroix, Philippe Mathieu, Andras Kemeny