Sciweavers

714 search results - page 62 / 143
» Dynamic Component Program Visualization
Sort
View
CORR
2010
Springer
176views Education» more  CORR 2010»
15 years 2 months ago
Bus Protocols: MSC-Based Specifications and Translation into Program of Verification Tool for Formal Verification
Message Sequence Charts (MSCs) are an appealing visual formalism mainly used in the early stages of system design to capture the system requirements. However, if we move towards a...
Kamrul Hasan Talukder
MA
2000
Springer
125views Communications» more  MA 2000»
15 years 5 months ago
MobiDoc: A Framework for Building Mobile Compound Documents from Hierarchical Mobile Agents
MobiDoc is a framework for building mobile compound documents, where the compound document can be dynamically composed of mobile agents and can migrate itself over a network as a w...
Ichiro Satoh
CLEAR
2006
Springer
145views Biometrics» more  CLEAR 2006»
15 years 5 months ago
A Joint System for Single-Person 2D-Face and 3D-Head Tracking in CHIL Seminars
We present the IBM systems submitted and evaluated within the CLEAR'06 evaluation campaign for the tasks of single person visual 3D tracking (localization) and 2D face trackin...
Gerasimos Potamianos, ZhenQiu Zhang
CASES
2007
ACM
15 years 6 months ago
An efficient framework for dynamic reconfiguration of instruction-set customization
We present an efficient framework for dynamic reconfiguration of application-specific custom instructions. A key component of this framework is an iterative algorithm for temporal...
Huynh Phung Huynh, Joon Edward Sim, Tulika Mitra
IV
2010
IEEE
134views Visualization» more  IV 2010»
15 years 13 days ago
Molecular Rendering with Medieval and Renaissance Color Theory
—This paper describes the application of Medieval and Renaissance color theory to the computer graphic rendering of molecular models. In particular, Alberti’s and Cennini’s c...
Francis T. Marchese, Suzanne M. Marchese