1796 search results - page 167 / 360 » An Approach to Compositional Model Checking |
147
click to vote
VAMOS
2007
Springer
16 years 15 days ago
2007
Springer
The omnipresent integration of computer technology in everyday applications introduces new opportunities to make software systems aware of the context in which they are used. Such...
145
click to vote
WWW
2004
ACM
16 years 7 months ago
2004
ACM
Business processes involve interactions among autonomous partners. We propose that these interactions be specified modularly as protocols. Protocols can be published, enabling imp...
188
click to vote
ASPDAC
2009
ACM
15 years 11 months ago
2009
ACM
— This paper proposes the first automatic approach to simultaneously generate Cycle Accurate and Cycle Count Accurate transaction level bus models. Since TLM (Transaction Level M...
170
click to vote
FASE
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. To be able to build systems by composing a variety of components dynamically, adding and removing as required, is desirable. Unfortunately systems with evolving architect...
142
click to vote
ECOWS
2006
Springer
15 years 10 months ago
2006
Springer
This paper is about Web services used in distributed, inter-organizational business cooperation (choreography). In this application scenario, we have a multipart functional conven...