Sciweavers

33356 search results - page 122 / 6672
» Models of Continual Computation
Sort
View
WSC
2007
15 years 6 months ago
Cyber attack modeling and simulation for network security analysis
Cyber security methods are continually being developed. To test these methods many organizations utilize both virtual and physical networks which can be costly and time consuming....
Michael E. Kuhl, Jason Kistner, Kevin Costantini, ...
GRAPHITE
2003
ACM
15 years 9 months ago
Point-based modelling and rendering using radial basis functions
A point-based 3D surface modelling technique combined with a new point rendering technique is presented. Surfaces are modelled by specifying a set of unorganized points on the sur...
Patrick Reuter, Ireneusz Tobor, Christophe Schlick...
FORMATS
2007
Springer
15 years 8 months ago
CSL Model Checking Algorithms for Infinite-State Structured Markov Chains
Jackson queueing networks (JQNs) are a very general class of queueing networks that find their application in a variety of settings. The state space of the continuous-time Markov c...
Anne Remke, Boudewijn R. Haverkort
TSMC
1998
152views more  TSMC 1998»
15 years 4 months ago
Discrete event representation of qualitative models using Petri nets
—The paper discusses how Petri nets may be used for the qualitative modeling of physical systems. The qualitative state of a system is represented by the marking of the net. The ...
Alessandra Fanni, Alessandro Giua
CCE
2011
14 years 8 months ago
Time representations and mathematical models for process scheduling problems
During the last 15 years, many mathematical models have been developed in order to solve process operation scheduling problems, using discrete or continuous time representations. ...
Sylvain Mouret, Ignacio E. Grossmann, Pierre Pesti...