6308 search results - page 28 / 1262 » Modeling Urgency in Timed Systems |
146
click to vote
ICECCS
1998
IEEE
15 years 7 months ago
1998
IEEE
The main focus of this paper is the problem of ensuring timeliness in safety critical systems. First, we introduce a method and its associated technique to model both real-time ta...
143
click to vote
IEEECIT
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract—Model-driven development has become the stateof-the-art approach for designing embedded real-time systems. heir high level of abstraction, models are easier to understan...
115
click to vote
ADAEUROPE
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. This paper describes a laboratory equipped for the teaching of realtime systems. The laboratory has been built around a Digital Model Railroad Platform and it allows the ...
118
click to vote
ICECCS
2010
IEEE
15 years 3 months ago
2010
IEEE
Abstract— Maintaining semantic consistency of data is a significant problem in distributed information systems, particularly those on which a business may depend. Our current wo...
100
click to vote
PAPM
2001
Springer
15 years 7 months ago
2001
Springer
This paper presents a modelling language, called MoDeST, for describing the behaviour of discrete event systems. The language combines conventional programming constructs – such ...