2558 search results - page 108 / 512 » Model Composition Contracts |
118
click to vote
SIGSOFT
2003
ACM
16 years 4 months ago
2003
ACM
This paper describes a compositional proof strategy for verifying properties of requirements specifications. The proof strategy, which may be applied using either a model checker ...
132
click to vote
ICTAI
1993
IEEE
15 years 8 months ago
1993
IEEE
Tropes, an object-based knowledge representation system, has been added three important intertwined features: constraints, composite objects and tasks. Constraints provide a decla...
130
click to vote
JODS
2008
15 years 4 months ago
2008
This paper proposes a cooperative approach for composite ontology mapping. We first present an extended classification of automated ontology matching and propose an automatic compo...
162
click to vote
EMMCVPR
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. The complexity of visual representations is substantially limited by the compositional nature of our visual world which, therefore, renders learning structured object mod...
132
click to vote
CONCUR
2006
Springer
15 years 7 months ago
2006
Springer
Timed concurrent systems are widely used in concurrent and distributed real-time software, modeling of hybrid systems, design of hardware systems (using hardware description langua...