2663 search results - page 115 / 533 » How to Choose a Timing Model |
161
click to vote
AIIA
2007
Springer
16 years 6 days ago
2007
Springer
In this work, we present a constrained-based representation for specifying the goals of “course design”, that we call curricula model, and introduce a graphical language, groun...
184
click to vote
JMLR
2010
15 years 25 days ago
2010
Real stochastic processes operating in continuous time can be modeled by sets of stochastic differential equations. On the other hand, several popular model families, including hi...
135
click to vote
DIS
2007
Springer
16 years 6 days ago
2007
Springer
Abstract. This chapter describes how we used regression rules to improve upon results previously published in the Earth science literature. In such a scientific application of mac...
163
click to vote
ESORICS
2004
Springer
15 years 11 months ago
2004
Springer
All security services rely to a great extent on some notion of trust. However, even today, there is no accepted formalism or technique for the specification of trust and for reaso...
167
click to vote
CAV
2001
Springer
15 years 10 months ago
2001
Springer
Model Checking is an algorithmic technique to determine whether a temporal property holds of a program. For linear time properties, a model checker produces a counterexample comput...