30267 search results - page 5406 / 6054 » Process Modelling Languages |
186
click to vote
SI3D
1999
ACM
15 years 11 months ago
1999
ACM
Conventional free-form surface design usually require tedious control-point manipulation and/or painstaking constraint specification via unnatural mouse-based interfaces. This pa...
207
click to vote
ICCV
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper presents a first investigation on the structure from motion problem from the combination of full and weak perspective images. This problem arises in multiresolution obj...
207
click to vote
WADT
1999
Springer
15 years 11 months ago
1999
Springer
Based on the FOCUS theory of distributed systems (see [Broy, Stølen 01]) that are composed of interacting components we introduce a formal model of services and layered architectu...
210
click to vote
ECOOPW
1998
Springer
15 years 11 months ago
1998
Springer
Current object-oriented CASE tools are useful for recording and gaining insight into OO models. They offer extensive support for especially the analysis and design of object-orien...
205
click to vote
FTRTFT
1998
Springer
15 years 11 months ago
1998
Springer
A controversial issue in the formal methods community is the degree to which mathematical sophistication and theorem proving skills should be needed to apply a formal method. A fun...