2025 search results - page 73 / 405 » Minimal-Cut Model Composition |
ISIM
2007
13 years 9 months ago
2007
Transformations from the Enterprise Distributed Object Computing (EDOC) to Enterprise JavaBeans (EJB) are examined herein from the point of view of an efficiency characteristic of ...
SIGSOFT
2003
ACM
14 years 8 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 ...
ICTAI
1993
IEEE
13 years 11 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...
JODS
2008
13 years 7 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...
EMMCVPR
2007
Springer
14 years 1 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...