1411 search results - page 187 / 283 » Interactive Coding for Interactive Proofs |
ICDCS
2005
IEEE
15 years 3 months ago
2005
IEEE
The NBA provides an intriguing place to assess discrimination: referees and players are involved in repeated interactions in a high-pressure setting with referees making the type ...
ECLIPSE
2004
ACM
15 years 3 months ago
2004
ACM
This paper presents a profiling plug-in for IBM’s Eclipse development environment. Our approach characterises profiling as an interactive exploration of a large virtual database...
IUI
2004
ACM
15 years 3 months ago
2004
ACM
Re-engineering transforms a final user interface into a logical representation that is manipulable enough to allow forward engineering to port a UI from one computing platform to ...
111
click to vote
PPPJ
2004
ACM
15 years 3 months ago
2004
ACM
Agents are an emerging technology that grants programmers a new way to exploit distributed resources. Roles are a powerful concept that can be used to model agent interactions, all...
SIGCSE
2004
ACM
15 years 3 months ago
2004
ACM
A framework for producing dynamic data structure visualizations within the context of a lightweight IDE is described. Multiple synchronized visualizations of a data structure can ...