4745 search results - page 25 / 949 » Discretization: An Enabling Technique |
ICFEM
2009
Springer
13 years 6 months ago
2009
Springer
Abstract. This paper shows how Ptolemy II discrete-event (DE) models can be formally analyzed using Real-Time Maude. We formalize in Real-Time Maude the semantics of a subset of hi...
WSC
2007
13 years 11 months ago
2007
The modeling of systems mixing discrete and continuous behavior is a challenge for model builders. Sometimes, the continuous part is important, but small near the complex decision...
APN
2001
Springer
14 years 1 months ago
2001
Springer
Reachability analysis and simulation tools for high-level nets spend a significant amount of the computing time in performing enabling tests, determining the assignments under whi...
ANTS
2010
Springer
14 years 19 days ago
2010
Springer
: We establish a conjecture of Brizolis that for every prime p > 3 there is a primitive root r and an integer t in the interval [1, p − 1] with logr t = t. Here, logr is the d...
APVIS
2004
13 years 10 months ago
2004
Discrete 2D survey data is common in the areas of business, science and government. Visualisation is often used to present such data. The best form of visualisation depends on how...