Sciweavers

782 search results - page 122 / 157
» Can a Parser be Generated from Examples
Sort
View
ECMDAFA
2009
Springer
127views Hardware» more  ECMDAFA 2009»
15 years 1 months ago
Derivation and Refinement of Textual Syntax for Models
Textual Syntax (TS) as a form of model representation has made its way to the Model-Driven Software Development community and is considered a viable alternative to graphical repres...
Florian Heidenreich, Jendrik Johannes, Sven Karol,...
CORR
2011
Springer
167views Education» more  CORR 2011»
14 years 10 months ago
Fully Simulatable Quantum-Secure Coin-Flipping and Applications
We propose a coin-flip protocol which yields a string of strong, random coins and is fully simulatable against poly-sized quantum adversaries on both sides. It can be implemented ...
Carolin Lunemann, Jesper Buus Nielsen
IJAC
2011
14 years 10 months ago
Bringing the Everyday Life into Engineering Education
— To successfully design and engineer solutions for today’s and tomorrow’s rapidly changing and expanding global contexts, in which people are confronted with new opportuniti...
Gert Pasman, Ingrid Mulder
CAD
2011
Springer
14 years 7 months ago
Parameterization and applications of Catmull-Rom curves
The behavior of Catmull-Rom curves heavily depends on the choice of parameter values at the control points. We analyze a class of parameterizations ranging from uniform to chordal...
Cem Yuksel, Scott Schaefer, John Keyser
EMSOFT
2011
Springer
14 years 3 months ago
Synthesis of optimal switching logic for hybrid systems
Given a multi-modal dynamical system, optimal switching logic synthesis involves generating conditions for switching between the system modes such that the resulting hybrid system...
Susmit Jha, Sanjit A. Seshia, Ashish Tiwari