1860 search results - page 144 / 372 » tools 2009 |
178
click to vote
ISVC
2009
Springer
16 years 15 days ago
2009
Springer
Throughout history, the primary means of transportation for humans has been on foot. We present a software tool which can help visualize and predict where historical trails might l...
137
click to vote
MODELS
2009
Springer
16 years 15 days ago
2009
Springer
Variability modelling with feature models is one key technique for specifying the problem space of software product lines (SPLs). To allow for the automatic derivation of a concre...
187
click to vote
RULEML
2009
Springer
16 years 15 days ago
2009
Springer
Rule bases are increasingly being used as repositories of knowledge content on the Semantic Web. As the size and complexity of these rule bases s, developers and end users need met...
150
click to vote
SBMF
2009
Springer
16 years 15 days ago
2009
Springer
Abstract. This paper presents a case study on retrospective veri cation of the Linux Virtual File System (VFS), which is aimed at checking for violations of API usage rules and mem...
143
click to vote
SEMWEB
2009
Springer
16 years 15 days ago
2009
Springer
Spreadsheet tools are often used in business and private scenarios in order to collect and store data, and to explore and analyze these data by executing functions and aggregation...