1043 search results - page 52 / 209 » Reading, Writing and Relations |
137
click to vote
AGILEDC
2005
IEEE
15 years 10 months ago
2005
IEEE
This report describes experiences of introducing executable acceptance testing in senior software engineering courses. Students in an agile environment completed a five-iteration ...
130
click to vote
CIKM
2003
Springer
15 years 10 months ago
2003
Springer
We present a general model and information server for the digital annotation of printed documents. The resulting annotation framework supports both informal and structured annotat...
112
click to vote
IDEAS
1998
IEEE
15 years 9 months ago
1998
IEEE
In this paper, we introduce a prewrite operation before a write operation in a mobile transaction to improve data availability. A prewrite operation does not update the state of a...
118
click to vote
SPIN
1999
Springer
15 years 9 months ago
1999
Springer
A pattern-based approach to the presentation, codification and reuse of property specifications for finite-state verification was proposed by Dwyer and his colleagues in [4, 3]...
138
click to vote
AAAI
2007
15 years 7 months ago
2007
Freebase is a practical, scalable, graph-shaped database of structured general human knowledge, inspired by Semantic Web research and collaborative data communities such as the Wi...