8928 search results - page 424 / 1786 » Modeling Current Events |
122
click to vote
POLICY
2004
Springer
15 years 10 months ago
2004
Springer
Recently, there has been a considerable interest in policy-based, goal-oriented service management and autonomic computing. Much work is still required to investigate designs and ...
129
click to vote
DATE
2003
IEEE
15 years 10 months ago
2003
IEEE
We present a framework (Real-Time Calculus) for analysing various system properties pertaining to timing analysis, loads on various components and on-chip buffer memory requiremen...
139
click to vote
FORMATS
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. The verification formalism / modeling and simulation language hybrid Chi is defined. The semantics of hybrid Chi is formally specified using Structured Operational Sem...
148
click to vote
PAAMS
2010
Springer
15 years 9 months ago
2010
Springer
Applications that operate in highly dynamic environments must deal with real-time changes of circumstances in order to be consistent and coherent. In this work, we propose an exten...
219
Voted
ICCAD
1999
IEEE
15 years 9 months ago
1999
IEEE
This paper presents a general method for computing transient sensitivities using both the direct and adjoint methods in event driven controlled explicit simulation algorithms that...