Sciweavers

3444 search results - page 367 / 689
» A Theory of Object-Oriented Design
Sort
View
FMCAD
2007
Springer
15 years 11 months ago
Transaction Based Modeling and Verification of Hardware Protocols
Modeling hardware through atomic guard/action transitions with interleaving semantics is popular, owing to the conceptual clarity of modeling and verifying the high level behavior ...
Xiaofang Chen, Steven M. German, Ganesh Gopalakris...
ICRA
1995
IEEE
151views Robotics» more  ICRA 1995»
15 years 11 months ago
Learning Impedance Control for Robotic Manipulators
—Learning control is a concept for controlling dynamic systems in an iterative manner. It arises from the recognition that robotic manipulators are usually used to perform repeti...
Chien-Chern Cheah, Danwei Wang
VISSYM
2007
15 years 10 months ago
Path Visualization for Adjacency Matrices
For displaying a dense graph, an adjacency matrix is superior than a node-link diagram because it is more compact and free of visual clutter. A node-link diagram, however, is far ...
Zeqian Shen, Kwan-Liu Ma
199
Voted
EICS
2010
ACM
15 years 9 months ago
Xplain: an editor for building self-explanatory user interfaces by model-driven engineering
Modern User Interfaces (UI) must deal with the increasing complexity of applications in terms of functionality as well as new properties as plasticity. The plasticity of a UI deno...
Alfonso García Frey, Gaëlle Calvary, S...
BCSHCI
2007
15 years 9 months ago
Encouraging witting participation and performance in digital live art
We describe a framework for characterizing people’s behavior with Digital Live Art. Our framework considers people’s wittingness, technical skill, and interpretive abilities i...
Jennifer G. Sheridan, Nick Bryan-Kinns, Alice Bayl...