670 search results - page 2 / 134 » Real Time Model Checking Using Timed Concurrent State Machin... |
PG
2003
IEEE
13 years 10 months ago
2003
IEEE
We introduce an algorithm that consistently and accurately processes arbitrary intersections in tetrahedral meshes in real-time. The intersection surfaces are modeled up to the cu...
ECMDAFA
2005
Springer
13 years 10 months ago
2005
Springer
The model-driven software development for hard real-time systems promotes the usage of the platform independent model as major design artifact. It is used to develop the software l...
ATVA
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. The Real Time Specification for Java (RTSJ) is an augmentation of Java for real time applications of various degrees of hardness. The central features of RTSJ are real t...
JUCS
2008
13 years 4 months ago
2008
DEDS
2006
13 years 4 months ago
2006
In this paper, we propose a method for building the state class graph of a bounded time Petri net (TPN) as a timed automaton (TA), which we call the state class timed automaton. We...