670 search results - page 2 / 134 » Real Time Model Checking Using Timed Concurrent State Machin... |
158
Voted
PG
2003
IEEE
15 years 7 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...
150
Voted
ECMDAFA
2005
Springer
15 years 7 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...
142
click to vote
ATVA
2005
Springer
15 years 7 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...
93
Voted
JUCS
2008
15 years 2 months ago
2008
112
Voted
DEDS
2006
15 years 2 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...