2025 search results - page 174 / 405 » Minimal-Cut Model Composition |
146
click to vote
JOT
2007
15 years 4 months ago
2007
State machines can be used to specify the behaviour of objects in a system by describing the relationships between the states of the object and its ability to respond to events pr...
144
click to vote
ECOWS
2007
Springer
15 years 10 months ago
2007
Springer
Service engineering and service-oriented architecture as an integration and platform technology is a recent approach to software systems integration. Software quality aspects such ...
136
click to vote
EMSOFT
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. We propose a mathematical framework to deal with the composition of heterogeneous reactive systems. Our theory allows to establish theorems, from which design techniques ...
165
click to vote
MKWI
2008
15 years 6 months ago
2008
Abstract: In order to fulfil sets of similar user requirements within a specific application domain, one typically uses software product line engineering. In this paper, we investi...
107
click to vote
ANSOFT
1999
15 years 4 months ago
1999
We give a formal framework for studying real-time discrete-event systems. It describes concurrent processes as sets of possible behaviors. Compositions of processes are processes ...