1173 search results - page 83 / 235 » On the Compositionality of Round Abstraction |
129
click to vote
ATVA
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. Compositional reasoning aims to improve scalability of verification tools by reducing the original verification task into subproblems. The simplification is typically bas...
EUROMICRO
2004
IEEE
15 years 4 months ago
2004
IEEE
Software applications can be described as compositions are components at an abstract level. In this paper we present a component modeling process which allows to design, model and...
113
Voted
IEEESCC
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract--In a web service composition, an electronic contract (e-contract) regulates how the services participating in the composition should behave, including the restrictions th...
104
Voted
CONCUR
2005
Springer
15 years 2 months ago
2005
Springer
Abstract. Delaying the synchronization of actions may reveal some hidden behavior that would not happen if the synchronization met the specified deadlines. This precise phenomenon...
115
click to vote
DLOG
1997
15 years 2 months ago
1997
Abstract. In this short paper we describe the DFL hybrid knowledge base, that integrates descriptions with expressive object-oriented rules. The knowledge base manages a database o...