1796 search results - page 100 / 360 » An Approach to Compositional Model Checking |
ENTCS
2007
13 years 9 months ago
2007
When modelling complex interactive systems, traditional interactor-based approaches suffer from lack of expressiveness regarding the composition of the different interactors pre...
CONCUR
2009
Springer
14 years 3 months ago
2009
Springer
Several process algebras for modelling hybrid systems have appeared in the literature in recent years. These all assume that continuous variables in the system are modelled monolit...
SIGSOFT
2000
ACM
14 years 1 months ago
2000
ACM
We present the universe model,a new approach to concurrencymanagement that isolates concurrency concerns and represents them in the modular interface of a component. This approach...
EMMCVPR
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. The complexity of visual representations is substantially limited by the compositional nature of our visual world which, therefore, renders learning structured object mod...
ICWS
2008
IEEE
13 years 10 months ago
2008
IEEE
In this paper, we have studied a common Web service composition problem, the syntactic matching problem, where the output parameters of a Web service can be used as the input para...