4438 search results - page 735 / 888 » The Case for Collaborative Programming |
173
click to vote
MOBIHOC
2004
ACM
15 years 10 months ago
2004
ACM
Energy conservation is a critical issue in wireless ad hoc networks since batteries are the only energy source to power the nodes. One major metric for energy conservation is to r...
143
click to vote
SBCCI
2004
ACM
15 years 10 months ago
2004
ACM
Software synthesis is defined as the task of translating a specification into a software program, in a general purpose language, in such a way that this software can be compiled...
132
click to vote
SIGDOC
2004
ACM
15 years 10 months ago
2004
ACM
Software publishers and information service providers publish information about their own products and about other products and people. Additional content might be incidental, suc...
131
click to vote
CASSIS
2004
Springer
15 years 10 months ago
2004
Springer
The ESC/Java tool was a lauded advance in effective static checking of realistic Java programs, but has become out-of-date with respect to Java and the Java Modeling Language (JML...
128
Voted
CP
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Much progress has been made in terms of boosting the effectiveness of backtrack style search methods. In addition, during the last decade, a much better understanding of ...