2025 search results - page 239 / 405 » Minimal-Cut Model Composition |
144
click to vote
ACSD
2006
IEEE
15 years 7 months ago
2006
IEEE
Networks on chip platforms offer the opportunity to introduce a new abstraction level that defines a set of platform services with performance and power characteristics. By making...
148
click to vote
FASE
2008
Springer
15 years 7 months ago
2008
Springer
Service Oriented Computing is a paradigm for developing software systems as the composition of a number of services. Services are loosely coupled entities, can be dynamically publi...
126
Voted
GG
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Adaptive star grammars generalize well-known graph grammar formalisms based on hyperedge and node replacement while retaining, e.g., parseability and the commutativity an...
139
click to vote
GG
2008
Springer
15 years 6 months ago
2008
Springer
We present a new, high-level approach for the specification of model-to-model transformations based on declarative patterns. These are (atomic or composite) constraints on triple ...
142
click to vote
ENTCS
2006
15 years 5 months ago
2006
Consistency checking in the CSP B approach verifies that an individual controller process, defined using a sequential non-divergent subset of CSP, never calls a B operation outsid...