2338 search results - page 70 / 468 » Separation in Theory - Coordination in Practice |
KBSE
1997
IEEE
14 years 1 months ago
1997
IEEE
Proofs in the Nuprl system, an implementation of a constructive type theory, yield “correct-by-construction” programs. In this paper a new methodology is presented for extract...
DAC
2010
ACM
14 years 27 days ago
2010
ACM
Current tools for computer architecture design lack standard support for multi- and many-core development. We propose using circuit models to describe the multiple processor archi...
INFSOF
2006
13 years 9 months ago
2006
We conducted an industrial case study of a distributed team in the USA and the Czech Republic that used Extreme Programming. Our goal was to understand how this globally-distribut...
EWSN
2010
Springer
14 years 2 months ago
2010
Springer
One unfortunate consequence of the success story of wireless sensor networks (WSNs) in separate research communities is an evergrowing gap between theory and practice. Even though ...
SIGCPR
1999
ACM
14 years 1 months ago
1999
ACM
This paper addresses the diffusion of Knowledge Management concepts, principles, and cases into university courses. Although we are now living in a world of gigabit transmission s...