769 search results - page 11 / 154 » The Real-Time Specification for Java |
77
Voted
RTSS
1999
IEEE
15 years 1 months ago
1999
IEEE
This paper presents a process algebra for specifying soft real-time constraints in a compositional way. For these soft constraints we take a stochastic point of view and allow arb...
61
Voted
UML
2004
Springer
15 years 2 months ago
2004
Springer
: This paper presents an overview on the workshop on Specification and Validation of Real-time and embedded Systems that has taken place for the second time in association with the...
78
Voted
IFM
2000
Springer
15 years 1 months ago
2000
Springer
This paper presents a means of structuring specifications in real-time Object-Z: an integration of Object-Z with the timed refinement calculus. Incremental modification of classes ...
SERP
2004
14 years 10 months ago
2004
Game and simulation development is a difficult process because there are many low level infrastructure concerns that need to be addressed. This is a barrier to development for ine...
121
click to vote
RTSS
2000
IEEE
15 years 1 months ago
2000
IEEE
While early research on real-time computing was concerned with guaranteeing avoidance of undesirable effects such as overload and deadline misses, adaptive real-time systems are d...