7918 search results - page 129 / 1584 » Model Composition Directives |
110
Voted
FMSD
2008
15 years 24 days ago
2008
Abstract Compositional reasoning aims to improve scalability of verification tools by reducing the original verification task into subproblems. The simplification is typically base...
108
click to vote
EUROMICRO
2009
IEEE
15 years 7 months ago
2009
IEEE
—Success in the software product business requires timely release of new products and upgrades with proper quality and the right features. For this, a systematic approach for man...
114
click to vote
APVIS
2001
15 years 2 months ago
2001
This paper demonstrates the application of graph drawing and information visualisation techniques to the visualisation of information which can be modelled as an attributed graph....
84
Voted
CCGRID
2008
IEEE
15 years 7 months ago
2008
IEEE
—We formulate the service composition problem as a multi-objective stochastic program which simultaneously optimizes the following quality of service (QoS) parameters: workflow ...
101
click to vote
FORTE
2008
15 years 2 months ago
2008
The paper studies a distributed implementation method for the BIP (Behavior, Interaction, Priority) component framework for modeling heterogeneous systems. BIP offers two powerful ...