294 search results - page 23 / 59 » A Formal Model of Service-Oriented Design Structure |
177
click to vote
ICCV
2001
IEEE
16 years 7 months ago
2001
IEEE
We develop a framework for 3?D shape and motion recovery of articulated deformable objects. We propose a formalism that incorporates the use of implicit surfaces into earlier robo...
151
click to vote
DOCENG
2004
ACM
15 years 11 months ago
2004
ACM
We show that an XML DTD (Document Type Definition) can be viewed as the fixed point of a parametric content model. We then use natural transformations from the source content mo...
176
click to vote
JUCS
2010
15 years 21 days ago
2010
: This paper formalizes UML class diagrams and structural patterns as mathematical objects and provides a precise notion of conformance of a structural model specified as a class d...
153
click to vote
ESSLLI
1999
Springer
15 years 10 months ago
1999
Springer
This paper presents a grammar formalism in which constituent graphs are unions of a continuous surface tree and a discontinuous deep tree. The formalism has an object-oriented desi...
179
click to vote
OWLED
2008
15 years 7 months ago
2008
Product development requires the ability to check design consistency, to verify design properties, and to answer questions about a design's possible implementations. These tas...