650 search results - page 28 / 130 » Towards automatic model synchronization from model transform... |
FORTE
2004
13 years 9 months ago
2004
In this paper, we present an approach for modeling an existing web application using communicating finite automata model based on the userdefined properties to be validated. We ela...
FASE
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. As XML diffusion keeps increasing, it is today common practice for most developers to deal with XML parsing and transformation. XML is used as format to e.g. render data,...
CDC
2009
IEEE
13 years 5 months ago
2009
IEEE
Abstract-- A kind of complex dynamical networks with timevarying coupling delays is proposed. By some transformation, the synchronization problem of the complex networks is transfe...
CPHYSICS
2007
13 years 7 months ago
2007
Numerical modeling of the photon transport of the ultra violet (UV) and the visible lights are presented for plasma based display devices. The transport of UV lights which undergo...
ER
2009
Springer
13 years 11 months ago
2009
Springer
Abstract. The UML-based Specification Environment (USE) tool supports the syntactic analysis, type checking, consistency checking, and dynamic validation of invariants and pre-/pos...