Sciweavers

1724 search results - page 144 / 345
» Critical issues in interaction design
Sort
View
EJASMP
2010
108views more  EJASMP 2010»
15 years 1 months ago
Physically Motivated Environmental Sound Synthesis for Virtual Worlds
A system is described for simulating environmental sound in interactive virtual worlds, using the physical state of objects as control parameters. It contains a unified framework ...
Dylan Menzies
EUROPAR
2007
Springer
16 years 18 days ago
SymGrid: A Framework for Symbolic Computation on the Grid
This paper introduces the design of SymGrid, a new Grid framework that will, for the first time, allow multiple invocations of symbolic computing applications to interact via the ...
Kevin Hammond, Abdallah Al Zain, Gene Cooperman, D...
METRICS
2002
IEEE
15 years 11 months ago
Testability Analysis of a UML Class Diagram
Design-for-testability is a very important issue in software engineering. It becomes crucial in the case of OO designs where control flows are generally not hierarchical, but are d...
Benoit Baudry, Yves Le Traon, Gerson Sunyé
BIRTHDAY
2007
Springer
15 years 10 months ago
Applying a Theorem Prover to the Verification of Optimistic Replication Algorithms
Abstract. The Operational Transformation (OT) approach is a technique for supporting optimistic replication in collaborative and mobile systems. It allows the users to concurrently...
Abdessamad Imine, Michaël Rusinowitch
ISQED
2007
IEEE
156views Hardware» more  ISQED 2007»
16 years 21 days ago
A New Method of Implementing Hierarchical OPC
For emerging deep-subwavelength lithography technologies (90 nm and following) the data volume and the complexity of Optical Proximity Correction (OPC) have increased dramatically...
Yufu Zhang, Zheng Shi