1980 search results - page 288 / 396 » Compositional Model Checking of Real Time Systems |
140
click to vote
MODELS
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. UML diagrams have become the de-facto standard for the visual modeling of software systems. The creation and discussion of these diagrams is a critical factor impacting t...
115
click to vote
ICMCS
2006
IEEE
15 years 9 months ago
2006
IEEE
This paper describes a proposal of an extended event model using a media synchronization method for video hypermedia applications. In this extended event model, video and metadata...
147
click to vote
SAFECOMP
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Model-based development and automated code generation are increasingly used for actual production code, in particular in mathematical and engineering domains. However, si...
115
click to vote
JAIR
2006
15 years 3 months ago
2006
In this paper we present pddl+, a planning domain description language for modelling mixed discrete-continuous planning domains. We describe the syntax and modelling style of pddl...
161
click to vote
CORR
2004
Springer
15 years 3 months ago
2004
Springer
In this paper we analyze the relationship between cyclic definitions and consistency in GelfondLifschitz's answer sets semantics (initially defined as `stable model semantics...