3429 search results - page 439 / 686 » Modelling the Operational Semantics of Domain-Specific Model... |
133
click to vote
ENTCS
2008
15 years 4 months ago
2008
In this paper, a model for websites is presented. The model is well-suited for the formal verification of dynamic as well as static properties of the system. A website is defined ...
144
click to vote
FM
2009
Springer
15 years 2 months ago
2009
Springer
Abstract. We propose an approach to automatic verification of realtime systems against scenario-based requirements. A real-time system is modeled as a network of Timed Automata (TA...
168
click to vote
IGARSS
2009
15 years 2 months ago
2009
High resolution remote sensing (HR RS) images allow discriminating between different objects in a scene. Spatial reasoning techniques can be used to interpret and describe the sce...
161
click to vote
INFORSID
1996
15 years 5 months ago
1996
: This paper presents a propagation model for complex object versions. Complex objects are object linked to other objects by means of dependence relations such as composition, inhe...
162
click to vote
IANDC
2010
15 years 1 months ago
2010
In a previous paper, we developed an algebraic theory of threads, interleaving of threads, and interaction between threads and services. In the current paper, we extend that theory...