Sciweavers

1730 search results - page 296 / 346
» Computer Aided Design Modeling for Heterogeneous Objects
Sort
View
ROOM
2000
14 years 11 months ago
Checking the Consistency of UML Class Diagrams Using Larch Prover
The Unified Modeling Language (UML) has been designed to be a full standard notation for Object-Oriented Modelling. UML is a rather complete set of notations, but it lacks of form...
Pascal André, Annya Romanczuk, Jean-Claude ...
IAJIT
2010
166views more  IAJIT 2010»
14 years 8 months ago
Specification and Prototyping of Reactive Distributed Systems with Algebraic Term Nets
: The specification of the dynamic behaviour of reactive distributed systems must exhibit the structures of control and has to imply explicitly the relevant aspects of the distribu...
Faiza Bouchoul, Mohamed Mostefai
ACMACE
2006
ACM
15 years 3 months ago
From driving to expressive music performance: ensuring tempo smoothness
This paper focuses on the mapping strategies in the interface design for the Expression Synthesis Project (ESP). The goal of ESP is to use the metaphor of driving to allow non-exp...
Jie Liu, Elaine Chew, Alexandre R. J. Franç...
CHI
2004
ACM
15 years 10 months ago
Variation in element and action: supporting simultaneous development of alternative solutions
The complexity of many problems necessitates creating and exploring multiple, alternative solutions. However, current user interfaces do not cleanly support creating alternatives ...
Michael A. Terry, Elizabeth D. Mynatt, Kumiyo Naka...
DCC
2007
IEEE
15 years 9 months ago
Transmission Over Slowly Fading Channels Using Unreliable Quantized Feedback
We study the problem of maximizing the expected rate over a slowly fading channel with quantized channel state information at the transmitter (CSIT). This problem has been recentl...
Siavash Ekbatani, Farzad Etemadi, Hamid Jafarkhani