1796 search results - page 152 / 360 » An Approach to Compositional Model Checking |
150
click to vote
ICSOC
2010
Springer
14 years 10 months ago
2010
Springer
Service-Oriented Architecture enables the composition of loosely coupled services provided with varying Quality of Service (QoS) levels. Given a composition, finding the set of ser...
108
Voted
FASE
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. Software models are key in separating and solving independent development concerns. However, there is still a gap on how to transition design information among these sepa...
101
Voted
IJISEC
2008
15 years 13 days ago
2008
We present a model checking technique for security protocols based on a reduction to propositional logic. At the core of our approach is a procedure that, given a description of th...
84
Voted
WSC
1998
15 years 1 months ago
1998
The increasing use of discrete simulation in modelling large and complex systems brings new challenges. One such challenge is the need to devise ways of developing modular approac...
103
Voted
ICASSP
2009
IEEE
14 years 10 months ago
2009
IEEE
In the context of spoken language interpretation, this paper introduces a stochastic approach to infer and compose semantic structures. Semantic frame structures are directly deri...