Sciweavers

875 search results - page 6 / 175
» Extending the CG Model by Simulations
Sort
View
69
Voted
FMOODS
2007
14 years 11 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
89
Voted
DAC
2004
ACM
15 years 2 months 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...
70
Voted
CONTEXT
1999
Springer
15 years 1 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
15 years 2 months 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
15 years 2 months 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...