4099 search results - page 720 / 820 » A Framework for Interactive Proof |
146
click to vote
ECLIPSE
2007
ACM
15 years 8 months ago
2007
ACM
We present a declarative and visual debugging environment for Eclipse called JIVE.1 Traditional debugging is procedural in that a programmer must proceed step-by-step and objectby...
145
click to vote
ELPUB
2007
ACM
15 years 8 months ago
2007
ACM
Creating Internet services for a specific auditorium involves technical, organizational and sociological challenges to developers, processes and used technologies. Authoring and d...
130
click to vote
ENTER
2007
Springer
15 years 8 months ago
2007
Springer
Due to the inherent complexity of building highly-interactive and personalized web applications, the development of a web-based travel advisory system can be a costly and timecons...
145
click to vote
GIS
2009
ACM
15 years 8 months ago
2009
ACM
The paper presents a framework for semi-supervised nonlinear embedding methods useful for exploratory analysis and visualization of spatio-temporal network data. The method provid...
139
click to vote
ICASSP
2009
IEEE
15 years 7 months ago
2009
IEEE
In this paper, we consider social peer-to-peer (P2P) networks, where peers are sharing their resources (i.e., multimedia content and upload bandwidth). In the considered P2P netwo...