1796 search results - page 100 / 360 » An Approach to Compositional Model Checking |
67
Voted
ENTCS
2007
15 years 15 days ago
2007
When modelling complex interactive systems, traditional interactor-based approaches suffer from lack of expressiveness regarding the composition of the different interactors pre...
111
Voted
CONCUR
2009
Springer
15 years 7 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...
70
Voted
SIGSOFT
2000
ACM
15 years 4 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...
125
click to vote
EMMCVPR
2007
Springer
15 years 6 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...
100
Voted
ICWS
2008
IEEE
15 years 2 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...