1650 search results - page 60 / 330 » How to Turn the Page |
BTW
2007
Springer
15 years 4 months ago
2007
Springer
: Documents such as spreadsheets are easy to create, edit, and exchange. However, their use causes a set of well known problems such as poor data quality, lack of multi user suppor...
SPATIALCOGNITION
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. We present first ideas on how results about qualitative spatial reasoning can be exploited in reasoning about action and change. Current work concentrates on a line segm...
SOPR
2008
14 years 9 months ago
2008
Pair programming is regarded as one of the practices that can make testing more rigorous, thorough and effective. Therefore, we examined pair programming vs. solo programming with ...
JOT
2010
14 years 8 months ago
2010
Many software engineers try very hard not to use the word “reuse” because many methods and tools intended to promote reuse have failed to meet expectations. As soon as they le...
WOLLIC
2010
Springer
14 years 8 months ago
2010
Springer
We provide a formalisation of the theory of pushdown automata (PDAs) using the HOL4 theorem prover. It illustrates how provers such as HOL can be used for mechanising complicated p...