8499 search results - page 226 / 1700 » cans 2009 |
175
Voted
MKM
2009
Springer
15 years 11 months ago
2009
Springer
Hilbert’s concept of formal proof is an ideal of rigour for mathematics which has important applications in mathematical logic, but seems irrelevant for the practice of mathemati...
153
click to vote
OOPSLA
2009
Springer
15 years 11 months ago
2009
Springer
Software systems evolve over time. Currently we do not do a good job of documenting this evolution. This essay discusses the need to better document software evolution and introdu...
211
click to vote
SEMWEB
2009
Springer
15 years 11 months ago
2009
Springer
—The Web of Data cannot be a trustworthy data source unless an approach for evaluating the quality of data on the Web is established and integrated as part of the data publicatio...
166
click to vote
SOCO
2009
Springer
15 years 11 months ago
2009
Springer
Object composition is often advocated as a more flexible alternative to standard class inheritance since it takes place at run-time, thus permitting the behavior of objects to be ...
149
click to vote
SSS
2009
Springer
15 years 11 months ago
2009
Springer
A snap-stabilizing protocol, starting from any configuration, always behaves according to its specification. In this paper, we are interested in message forwarding problem in a m...