4609 search results - page 563 / 922 » Automatic Generation of Sigma-Protocols |
143
click to vote
ICC
2009
IEEE
16 years 1 months ago
2009
IEEE
—Multiaccess mobile devices and overlapping wireless network deployments have emerged as a next generation network fixture. To make the most of all available networks, mobile de...
166
click to vote
ICTAI
2009
IEEE
16 years 1 months ago
2009
IEEE
A multiobjective genetic algorithm to uncover community structure in complex network is proposed. The algorithm optimizes two objective functions able to identify densely connecte...
165
click to vote
AIED
2009
Springer
16 years 1 months ago
2009
Springer
We developed a new model for iList, our system that helps students learn linked list. The model is automatically extracted from past student data, and allows iList to track student...
171
click to vote
XPU
2009
Springer
16 years 1 months ago
2009
Springer
FitClipse is an Eclipse plug-in for facilitating Executable Acceptance Test Driven Development. The tool allows the users to edit acceptance tests, automatically generate fixtures,...
181
click to vote
BTW
2009
Springer
16 years 1 months ago
2009
Springer
: The interdisciplinary ViFaChem II project aims at providing a chemical digital library infrastructure for creating personalized information spaces. The value added services and s...