1411 search results - page 132 / 283 » Interactive Coding for Interactive Proofs |
KBSE
2006
IEEE
15 years 4 months ago
2006
IEEE
The testing of database applications poses new challenges for software engineers. In particular, it is difficult to thoroughly test the interactions between an application and it...
FASE
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. Distributed applications rely on middleware to enable interaction among remote components. Thus, the overall performance increasingly depends on the interplay between the...
ICWE
2010
Springer
15 years 2 months ago
2010
Springer
Web applications that are highly dynamic and interactive on the client side are becoming increasingly popular. As with any other type of applications, reuse offers considerable ben...
HPDC
2000
IEEE
15 years 2 months ago
2000
IEEE
We present the CAVEStudy system that enables scientists to interactively steer a simulation from a virtual reality (VR) environment. No modification to the source code is necessa...
CHI
1999
ACM
15 years 2 months ago
1999
ACM
In this paper, we discuss why, in designing multiparty mediated systems, we should focus first on providing non-verbal cues which are less redundantly coded in speech than those n...