2830 search results - page 308 / 566 » A Development Tool for E-learning Applications |
108
click to vote
SOFSEM
2012
Springer
13 years 6 months ago
2012
Springer
In automated synthesis, we transform a specification into a system that is guaranteed to satisfy the specification against all environments. While modelchecking theory has led to...
TVCG
2012
13 years 1 months ago
2012
Abstract—We have developed an intuitive method to semi-automatically explore volumetric data in a focus-region-guided or valuedriven way using a user defined ray through the 3D ...
TVCG
2012
13 years 1 months ago
2012
—Field design has wide applications in graphics and visualization. One of the main challenges in field design has been how to provide users with both intuitive control over the d...
ECOOP
2008
Springer
15 years 23 days ago
2008
Springer
A component revolution is underway, bringing developers improved productivity and opportunities for code reuse. However, whereas existing tools work well for builders of desktop ap...
118
click to vote
KDD
2006
ACM
15 years 11 months ago
2006
ACM
Along with the blossom of open source projects comes the convenience for software plagiarism. A company, if less self-disciplined, may be tempted to plagiarize some open source pr...