1521 search results - page 160 / 305 » On Sampled Semantics of Timed Systems |
121
click to vote
QEST
2008
IEEE
15 years 10 months ago
2008
IEEE
The UML profile for Modeling and Analysis of Real Time and Embedded systems (MARTE) provides a powerful, standardised framework for the specification of non-functional propertie...
163
click to vote
DALT
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. We describe a model-checking based approach to verification of programs written in the agent programming language Dribble. We define a logic (an extension of the branch...
142
Voted
FM
2001
Springer
15 years 8 months ago
2001
Springer
Classical logic cannot be used to effectively reason about systems with uncertainty (lack of essential information) or inconsistency (contradictory information often occurring when...
129
click to vote
ERSA
2006
15 years 5 months ago
2006
Abstract-- In this work the problem of modeling reconfigurable systems behavior with a precise, executable semantics is considered. The possibility of synthesising such models onto...
152
click to vote
CORR
2006
Springer
15 years 4 months ago
2006
Springer
This paper addresses the issue of policy evaluation in Markov Decision Processes, using linear function approximation. It provides a unified view of algorithms such as TD(), LSTD()...