Sciweavers

1932 search results - page 266 / 387
» Designing with Haptic Feedback
Sort
View
FLAIRS
2008
15 years 8 months ago
Graph Grammars: An ITS Technology for Diagram Representations
For many educational applications such as learning tools for argumentation, structured diagrams are a suitable form of external representation. However, student-created graphs pos...
Niels Pinkwart, Kevin D. Ashley, Vincent Aleven, C...
WSC
2008
15 years 8 months ago
A simulation framework for service-oriented computing systems
An SOA-compliant DEVS (SOAD) simulation framework is proposed for modeling service-oriented computing systems. A set of novel abstract component models that conform to the SOA pri...
Hessam S. Sarjoughian, Sungung Kim, Muthukumar Ram...
ACMACE
2008
ACM
15 years 8 months ago
Edutainment with a mixed reality book: a visually augmented illustrative childrens' book
Recently several researchers have developed augmented reality books which involve overlaying virtual content onto the pages of a real book. In this paper, we extend this general c...
Raphael Grasset, Andreas Dünser, Mark Billing...
ASPDAC
2005
ACM
130views Hardware» more  ASPDAC 2005»
15 years 8 months ago
Stability analysis of active clock deskewing systems using a control theoretic approach
— In this paper, a methodology for analyzing closed loop clock distribution and active deskewing networks is proposed. An active clock distribution and deskewing network is model...
Vinil Varghese, Tom Chen, Peter Young
FMCAD
2008
Springer
15 years 8 months ago
Recording Synthesis History for Sequential Verification
Performing synthesis and verification in isolation has two undesirable consequences: (1) verification runs the risk of becoming intractable, and (2) strong sequential optimization...
Alan Mishchenko, Robert K. Brayton