2558 search results - page 381 / 512 » Model Composition Contracts |
162
click to vote
REST
2010
ACM
15 years 6 months ago
2010
ACM
In this article a formal model applying REST architectural principles to the description of semantic web services is introduced, including the discussion of its syntax and operati...
118
click to vote
CGF
2008
15 years 4 months ago
2008
Many categories of objects, such as human faces, can be naturally viewed as a composition of several different layers. For example, a bearded face with glasses can be decomposed i...
136
click to vote
EAAI
2007
15 years 4 months ago
2007
Explaining how engineering devices work is important to students, engineers, and operators. In general, machine generated explanations have been produced from a particular perspec...
114
click to vote
ENTCS
2007
15 years 4 months ago
2007
This article presents a component verification platform called Vercors providing means to analyse the behaviour properties of applications built from distributed components. From...
146
click to vote
CAD
2000
Springer
15 years 4 months ago
2000
Springer
This paper presents a novel methodology for deriving the dynamic equations of mechatronic systems from component models that are represented as linear graphs. This work is part of...