1411 search results - page 202 / 283 » Interactive Coding for Interactive Proofs |
ISCAS
2002
IEEE
15 years 2 months ago
2002
IEEE
Video streaming over wireless links is a non-trivial problem due to the large and frequent changes in the quality of the underlying radio channel combined with latency constraints...
ECMDAFA
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. In this paper we report on a feasibility study in reengineering legacy systems towards a model-driven architecture (MDA). Steps in our approach consist of (1) parsing the...
CSCW
2006
ACM
14 years 11 months ago
2006
ACM
Code management systems like Concurrent Version System (CVS) can play an important role in supporting coordination in software development, but often at some time removed from ori...
CORR
2004
Springer
14 years 9 months ago
2004
Springer
Recent constraint logic programming (CLP) languages, such as HAL and Mercury, require type, mode and determinism declarations for predicates. This information allows the generatio...
INFSOF
2000
14 years 9 months ago
2000
The development of groupware is a complex endeavor due to several inherent features not present in single-user applications. To address this complexity many authors have presented...