Sciweavers

875 search results - page 6 / 175
» Extending the CG Model by Simulations
Sort
View
FMOODS
2007
13 years 9 months ago
Model Checking of Extended OCL Constraints on UML Models in SOCLe
We present the first tool that offers dynamic verification of extended traints on UML models. It translates a UML model into an Abstract State (ASM) which is transformed by an AS...
John Mullins, Raveca Oarga
DAC
2004
ACM
14 years 29 days ago
Extending the transaction level modeling approach for fast communication architecture exploration
System-on-Chip (SoC) designs are increasingly becoming more complex. Efficient on-chip communication architectures are critical for achieving desired performance in these systems....
Sudeep Pasricha, Nikil D. Dutt, Mohamed Ben-Romdha...
CONTEXT
1999
Springer
13 years 11 months ago
Ecological Interfaces: Extending the Pointing Paradigm by Visual Context
Following the ecological approach to visual perception, this paper presents an innovative framework for the design of multimodal systems. The proposal emphasises the role of the vi...
Antonella De Angeli, Laurent Romary, Frederic Wolf...
MICCAI
2004
Springer
14 years 26 days ago
Modelling Surgical Cuts, Retractions, and Resections via Extended Finite Element Method
Abstract. We introduce a new, efficient approach for modelling the deformation of organs following surgical cuts, retractions, and resections. It uses the extended finite element ...
Lara M. Vigneron, Jacques G. Verly, Simon K. Warfi...
SGAI
2004
Springer
14 years 26 days ago
Modelling Shared Extended Mind and Collective Representational Content
Some types of animals exploit the external environment to support their cognitive processes, in the sense of patterns created in the environment that function as external mental s...
Tibor Bosse, Catholijn M. Jonker, Martijn C. Schut...