Sciweavers

10848 search results - page 62 / 2170
» Programming in Biomolecular Computation
Sort
View
ICMLC
2010
Springer
14 years 8 months ago
An ontology-supported ubiquitous interface agent for cloud computing - Example on Bluetooth wireless technique with Java program
: This paper focused on designing of a ubiquitous interface agent based on the ontology technology and interaction diagram with the backend information agent system, i.e., OntoIAS,...
Sheng-Yuan Yang, Chun-Liang Hsu, Dong-Liang Lee
VL
2007
IEEE
123views Visual Languages» more  VL 2007»
15 years 4 months ago
Introductory Computing Construct Use in an End-User Programming Community
Previous studies of end-user programmers have indicated a reliance on related examples for learning. Accordingly, we analyzed the projects contained in an online community with re...
Brian Dorn, Allison Elliott Tew, Mark Guzdial
ICCS
2007
Springer
15 years 3 months ago
On the Virtues of Generic Programming for Symbolic Computation
The purpose of this study is to measure the impact of C level code polynomial arithmetic on the performances of AXIOM highlevel algorithms, such as polynomial factorization. More p...
Xin Li, Marc Moreno Maza, Éric Schost
SIGCSE
1999
ACM
83views Education» more  SIGCSE 1999»
15 years 2 months ago
Global cooperation project in computer programming course
A Global Cooperation Project was conducted with computer science classes at the Czech Technical University and North Hennepin Community College. The project was a pilot project fo...
Thomas Macek, Bozena Mannova, Josef Kolar, Barbara...
ISSTA
2010
ACM
15 years 1 months ago
Proving memory safety of floating-point computations by combining static and dynamic program analysis
Whitebox fuzzing is a novel form of security testing based on dynamic symbolic execution and constraint solving. Over the last couple of years, whitebox fuzzers have found many ne...
Patrice Godefroid, Johannes Kinder