675 search results - page 51 / 135 » A Constraint-Driven Executable Model of Dynamic System Recon... |
109
Voted
ICIW
2007
IEEE
15 years 7 months ago
2007
IEEE
The idea of service orientation envisions dynamic detection and execution of suitable Web services for solving a particular request. Most realization approaches pay only little att...
141
click to vote
EMSOFT
2005
Springer
15 years 8 months ago
2005
Springer
Hybrid systems are an appropriate formalism to model embedded systems as they capture the theme of continuous dynamics with discrete control. A simple extension, a network of comm...
136
click to vote
TOOLS
2000
IEEE
15 years 7 months ago
2000
IEEE
UML is widely used today for modelling complex systems. However, the tools support capabilities for UML is limited, partially due to its lack of precise semantics. There are some ...
121
click to vote
ICCS
2005
Springer
15 years 8 months ago
2005
Springer
CD++ is an implementation of the Cell-DEVS formalism, which has been used to simulate various complex systems. In this study, we constructed a Cell-DEVS to simulate the dynamics of...
144
click to vote
SOSYM
2010
15 years 1 months ago
2010
: The specification of a software system must include all relevant static and dynamic aspects of the domain. Dynamic aspects are usually specified by means of a behavioral schema c...