Sciweavers

304 search results - page 49 / 61
» Towards component based systems: refining connectors
Sort
View
KBSE
2003
IEEE
14 years 20 days ago
Specification and Synthesis of Hybrid Automata for Physics-Based Animation
Physics-based animation programs can often be modeled in terms of hybrid automata. A hybrid automaton includes both discrete and continuous dynamical variables. The discrete varia...
Thomas Ellman
FC
2000
Springer
127views Cryptology» more  FC 2000»
13 years 11 months ago
Blind, Auditable Membership Proofs
Auditability is an important property in nancial systems and architectures. Here we de ne the primitive of blind auditable membership proof" BAMP which combines public auditab...
Tomas Sander, Amnon Ta-Shma, Moti Yung
IEEEVAST
2010
13 years 2 months ago
A visual analytics approach to model learning
The process of learning models from raw data typically requires a substantial amount of user input during the model initialization phase. We present an assistive visualization sys...
Supriya Garg, I. V. Ramakrishnan, Klaus Mueller
DAC
1997
ACM
13 years 11 months ago
Modeling Design Tasks and Tools: The Link Between Product and Flow Model
- The important step towards a comprehensive CAD framework is the development of a suitable, complete design model on which the design system’s components are based. To date, we ...
Bernd Schürmann, Joachim Altmeyer
ICSE
2007
IEEE-ACM
14 years 7 months ago
Ajaxifying Classic Web Applications
Recently, a new web development technique for creating interactive web applications, dubbed AJAX, has emerged in response to the limited degree of interactivity in large-grain sta...
Ali Mesbah