7366 search results - page 143 / 1474 » Development of the Information Systems Implementation Resear... |
137
click to vote
AMAST
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Formal certification is based on the idea that a mathematical proof of some property of a piece of software can be regarded as a certificate of correctness which, in pr...
158
click to vote
AINA
2009
IEEE
15 years 2 months ago
2009
IEEE
Searching very large collections can be costly in both computation and storage. To reduce this cost, recent research has focused on reducing the size (pruning) of the inverted ind...
131
click to vote
IVS
2007
15 years 4 months ago
2007
At the first international Visualization Summit, more than 100 international researchers and practitioners defined and assessed nine original and important research goals in the c...
133
click to vote
MEDES
2009
ACM
15 years 10 months ago
2009
ACM
Although research in data integration has become one of the main issues in [6], geographic data integration is still a laborious and complicated problem, even for specialists. Geo...
123
click to vote
ECIS
2004
15 years 5 months ago
2004
As Information Systems (IS) research increasingly acknowledges the importance of non-positivist approaches, the case for a plurality of theories to guide qualitative studies has g...