4250 search results - page 368 / 850 » Understanding the Requirements on Modelling Techniques |
187
click to vote
TASE
2007
IEEE
16 years 1 months ago
2007
IEEE
Symmetry reduction is a technique that can help alleviate the problem of state space explosion in model checking. The idea is to verify only a subset of states from each class (or...
166
click to vote
ICAS
2006
IEEE
16 years 27 days ago
2006
IEEE
Autonomic systems are typically distributed, complex and concurrent systems, comprised of multiple interacting autonomic elements that often exhibit emergent behavior. Design and ...
205
click to vote
SCESM
2006
ACM
16 years 24 days ago
2006
ACM
Model Driven Development and Use Case Driven Development methodologies have inspired the proposal of a variety of software engineering approaches that synthesize statebased models...
138
click to vote
COMPSAC
2005
IEEE
16 years 14 days ago
2005
IEEE
Communication middleware such as MuniCluster provides highlevel communication mechanisms for networked applications through hiding the low-level communication details from the app...
151
click to vote
MDAFA
2004
Springer
16 years 6 days ago
2004
Springer
A key issue in the MDA approach is the transformation of platform independent models to platform specific models. Before transforming to a platform specific model, however, it is n...