10072 search results - page 59 / 2015 » Composition of Model Programs |
125
Voted
IC
2004
15 years 3 months ago
2004
The emergence of Web Service has led to more research into Web Services composition. It has received much interest to support business-to-business or enterprise application integra...
113
click to vote
FM
2003
Springer
15 years 7 months ago
2003
Springer
Software systems are often model checked by translating them into a directly model-checkable formalism. Any serious software system requires application of compositional reasoning ...
112
Voted
FSS
2006
15 years 1 months ago
2006
Fuzzy integrals are commonly used as aggregation operators. In this paper we present new composite models based on fuzzy integrals with several t-conorms. These models permit to f...
115
Voted
TOOLS
2008
IEEE
15 years 8 months ago
2008
IEEE
Abstract. A popular approach to compositional verification of component-based applications is based on the assume-guarantee paradigm, where an assumption models behavior of an env...
89
Voted
WCE
2007
15 years 3 months ago
2007
— This paper presents an analytical model for calculating the deformation behavior of an elastic, composite strut comprising any number of materials, which are represented by an ...