Sciweavers

586 search results - page 91 / 118
» Graphical Constraints in CoDraw
Sort
View
VL
1992
IEEE
163views Visual Languages» more  VL 1992»
14 years 2 months ago
The Conversion of Diagrams to Knowledge Bases
If future electronic documents are to be truly useful, we must devise ways to automatically turn them into knowledgebases. In particular, we must be able to do this for diagrams. ...
Robert P. Futrelle
GCC
2006
Springer
14 years 1 months ago
Amadeus: A Holistic Service-oriented Environment for Grid Workflows
In this paper we present Amadeus, which is a holistic service-oriented environment for QoS-aware Grid workflows. Amadeus considers user's requirements, in terms of QoS constr...
Ivona Brandic, Sabri Pllana, Siegfried Benkner
KBSE
1998
IEEE
14 years 1 months ago
Identifying Pre-Conditions with the Z/EVES Theorem Prover
Starting from a graphical data model (a subset of the OMT object model), a skeleton of formal specification can be generated and completed to express several constraints and provi...
Yves Ledru
SIGGRAPH
1992
ACM
14 years 2 months ago
Generative modeling: a symbolic system for geometric modeling
This paper discusses a new, symbolic approach to geometric modeling called generative modeling. The approach allows specification, rendering, and analysis of a wide variety of sha...
John M. Snyder, James T. Kajiya
UIST
1993
ACM
14 years 2 months ago
VB2: An Architecture for Interaction in Synthetic Worlds
This paper describes the VB2 architecture for the construction of three-dimensional interactive applications. The system's state and behavior are uniformly represented as a n...
Enrico Gobbetti, Jean-Francis Balaguer, Daniel Tha...