1796 search results - page 167 / 360 » An Approach to Compositional Model Checking |
80
Voted
VAMOS
2007
Springer
15 years 6 months 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...
83
Voted
WWW
2004
ACM
16 years 1 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...
112
click to vote
ASPDAC
2009
ACM
15 years 5 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...
108
Voted
FASE
2004
Springer
15 years 5 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...
85
Voted
ECOWS
2006
Springer
15 years 4 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...