Sciweavers

601 search results - page 45 / 121
» Argumentation support: from technologies to tools
Sort
View
OOIS
1997
Springer
15 years 4 months ago
CORBA and ODBMSs in Viewpoint Development Environment Architectures
Viewpoints are re ections of software systems from multiple perspectives. A number of consistency conditions apply to viewpoints and developers require a tool for each type of vie...
Wolfgang Emmerich
VRML
2003
ACM
15 years 5 months ago
3D virtual clothing: from garment design to web3d visualization and simulation
One of the major challenges in Computer Graphics concerns the 3D representation and physically-based simulation of garments. In our research, we are working closely with the texti...
Luca Chittaro, Demis Corvaglia
CLEIEJ
2002
192views more  CLEIEJ 2002»
14 years 11 months ago
Automatic ObjectPascal Code Generation from Catalysis Specifications
This paper presents a Component-based Framework Development Process, of the Cardiology Domain. The Framework, called FrameCardio, was developed in 4 steps: 1Problem Domain Definit...
João Luís Cardoso de Moraes, Ant&oci...
EMSOFT
2011
Springer
13 years 11 months ago
From boolean to quantitative synthesis
Motivated by improvements in constraint-solving technology and by the increase of routinely available computational power, partial-program synthesis is emerging as an effective a...
Pavol Cerný, Thomas A. Henzinger
WEBI
2004
Springer
15 years 5 months ago
Empowering Resource Providers to Build the Semantic Grid
The future success of Grid-enabled e-Science depends on the availability of semantic/knowledge-rich resources on the Grid, i.e., the so-called semantic Grid. This requires not onl...
Liming Chen, Simon J. Cox, Feng Tao, Nigel R. Shad...