14360 search results - page 214 / 2872 » Time Modeling in MARTE |
EUROPKI
2007
Springer
14 years 2 months ago
2007
Springer
Time Capsule Signature, first formalized by Dodis and Yum in Financial Cryptography 2005, is a digital signature scheme which allows a signature to bear a (future) time t so that t...
ICCAD
2003
IEEE
14 years 7 months ago
2003
IEEE
Static timing analysis is a critical step in design of any digital integrated circuit. Technology and design trends have led to significant increase in environmental and process v...
MABS
2004
Springer
14 years 3 months ago
2004
Springer
Time management is essential when simulating multi-agent systems (MASs) as it allows consistent and repeatable simulation runs. So far, time management lacks support to express the...
SIGMETRICS
2002
ACM
13 years 10 months ago
2002
ACM
As processor microarchitectures continue to increase in complexity, so does the time required to explore the design space. Performing cycle
FORMATS
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. Probabilistic timed automata are an extension of timed automata with discrete probability distributions. Simulation and bisimulation relations are widely-studied in the c...