4924 search results - page 891 / 985 » A Software System for Spatial Data Analysis and Modeling |
173
Voted
CAISE
1997
Springer
15 years 8 months ago
1997
Springer
Abstract: Traceability is a prerequisite for managing the evolution of (software) systems. Assuring overall traceability of a system development process, i.e., capturing and interr...
169
click to vote
FASE
2007
Springer
15 years 10 months ago
2007
Springer
The synthesis of object behaviour from scenarios is a well-known and important issue in the transition from system analysis to system design. We describe a model transformation pro...
133
click to vote
POPL
2010
ACM
16 years 1 months ago
2010
ACM
d by recent research in abstract model checking, we present a new approach to inferring dependent types. Unlike many of the existing approaches, our approach does not rely on prog...
149
click to vote
WWW
2005
ACM
16 years 4 months ago
2005
ACM
The semantic web is expected to have an impact at least as big as that of the existing HTML based web, if not greater. However, the challenge lays in creating this semantic web an...
114
click to vote
WWW
2009
ACM
16 years 4 months ago
2009
ACM
We show how a number of novel email search features can be implemented without any kind of natural language processing (NLP) or advanced data mining. Our approach inspects the ema...