Sciweavers

2736 search results - page 479 / 548
» Understanding programmer language
Sort
View
ICECCS
2009
IEEE
140views Hardware» more  ICECCS 2009»
15 years 4 months ago
Common Pitfalls of Using QVT Relations - Graphical Debugging as Remedy
OMG’s Model-Driven Architecture (MDA) has emerged as a new approach for the development of software. For this, the Query/View/Transformation (QVT) standard plays a central role,...
Angelika Kusel, Wieland Schwinger, Manuel Wimmer, ...
ADC
2009
Springer
163views Database» more  ADC 2009»
15 years 4 months ago
ActiveTags: Making Tags More Useful Anywhere on the Web
Tags in social tagging systems store meaning for the taggers who have entered them, and other users often share this understanding. The result of this, a folksonomy, is typically ...
Stephan Hagemann, Gottfried Vossen
ESAW
2009
Springer
15 years 4 months ago
Incorporating BDI Agents into Human-Agent Decision Making Research
Artificial agents, people, institutes and societies all have the ability to make decisions. Decision making as a research area therefore involves a broad spectrum of sciences, ran...
Bart Kamphorst, Arlette van Wissen, Virginia Dignu...
SAT
2009
Springer
126views Hardware» more  SAT 2009»
15 years 4 months ago
Extending SAT Solvers to Cryptographic Problems
Cryptography ensures the confidentiality and authenticity of information but often relies on unproven assumptions. SAT solvers are a powerful tool to test the hardness of certain ...
Mate Soos, Karsten Nohl, Claude Castelluccia
CANDC
2009
ACM
15 years 4 months ago
Musicomputation: teaching computer science to teenage musicians
While algorithms have existed in math, music and other fields for over one thousand years, the use of algorithms to solve problems has become easier than ever before due to the a...
Adam L. Meyers, Marilyn C. Cole, Evan Korth, Sam P...