14360 search results - page 24 / 2872 » Time Modeling in MARTE |
133
click to vote
BIOINFORMATICS
2011
14 years 9 months ago
2011
Motivation: Over the recent years, the vision that RNA simply serves as information transfer molecule has dramatically changed. The study of the sequence/structure/function relati...
121
click to vote
INFOCOM
2009
IEEE
15 years 9 months ago
2009
IEEE
Abstract—It is challenging to provide authentication to timecritical multicast data, where low end-to-end delay is of crucial importance. Consequently, it requires not only effi...
129
click to vote
ATVA
2006
Springer
15 years 6 months ago
2006
Springer
In the past decades, many formal frameworks (e.g. timed automata and temporal logics) and techniques (e.g. model checking and theorem proving) have been proposed to model a real-ti...
110
click to vote
FORMATS
2005
Springer
15 years 8 months ago
2005
Springer
Timed automata (TA) are a widely used model for real-time systems. Several tools are dedicated to this model, and they mostly implement a forward analysis for checking reachability...
108
click to vote
HT
1999
ACM
15 years 7 months ago
1999
ACM
Most hypermedia models and systems do not incorporate time explicitly. This prevents authors from having direct control over the temporal aspects of a presentation. In this paper ...