14360 search results - page 411 / 2872 » Time Modeling in MARTE |
177
click to vote
FASE
2006
Springer
15 years 8 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...
120
click to vote
VLDB
2000
ACM
15 years 8 months ago
2000
ACM
Fast indexing in time sequence databases for similarity searching has attracted a lot of research recently. Most of the proposals, however, typically centered around the Euclidean...
146
Voted
REX
1991
15 years 8 months ago
1991
We propose a framework for the formal speci cation and veri cation of timed and hybrid systems. For timed systems we propose a speci cation language that refers to time only throug...
153
Voted
AISB
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. The aim of this paper is to try to understand the structure of time in information technologies. Starting with historical arguments, it first shows that time is neither l...
155
Voted
CRITICAL
2005
15 years 6 months ago
2005
This paper describes an ongoing design experience conducted in the Neonatal Intensive Care Unit for Premature Newborns. The specificity and the delicateness of such a setting prov...