134 search results - page 11 / 27 » Logics and Models of Real Time: A Survey |
124
Voted
FASE
2006
Springer
15 years 3 months ago
2006
Springer
This paper describes the application of the Real-Time Maude tool to the formal specification and analysis of the CASH scheduling algorithm and its suggested modifications. The CASH...
93
Voted
FUZZIEEE
2007
IEEE
15 years 6 months ago
2007
IEEE
The algorithm of on-line predictor from input-output data pairs will be proposed. In this paper, it proposed an approach to generate fuzzy rules of predictor from real-time input-o...
103
Voted
FSTTCS
2006
Springer
15 years 3 months ago
2006
Springer
This paper presents a construction for runtime monitors that check real-time properties expressed in timed LTL (TLTL). Due to D'Souza's results, TLTL can be considered a ...
130
click to vote
ANSOFT
2002
14 years 11 months ago
2002
Abstract. The real-time process algebra (RTPA) is a set of new mathematical notations for formally describing system architectures, and static and dynamic behaviors. It is recogniz...
112
Voted
CORR
2010
Springer
14 years 11 months ago
2010
Springer
Time is one of the most difficult aspects to handle in real world applications such as database systems. Relational database management systems proposed by Codd offer very little ...