4924 search results - page 203 / 985 » A Software System for Spatial Data Analysis and Modeling |
150
click to vote
ESWS
2008
Springer
15 years 6 months ago
2008
Springer
Ontology-Driven Software Development (ODSD) advocates using ontologies for capturing knowledge about a software system at development time. So far, ODSD approaches have mainly focu...
121
click to vote
APSEC
2005
IEEE
15 years 10 months ago
2005
IEEE
We report on a case study in which the Maude model checker has been used to analyze the Suzuki-Kasami distributed mutual exclusion algorithm with respect to the mutual exclusion p...
144
click to vote
BMCBI
2010
15 years 4 months ago
2010
Background: The system-level dynamics of many molecular interactions, particularly protein-protein interactions, can be conveniently represented using reaction rules, which can be...
121
click to vote
SSD
2005
Springer
15 years 9 months ago
2005
Springer
Networks often form the core of many users’ spatial databases. Networks are used to support the rapid navigation and analysis of linearly connected data such as that found in tra...
165
click to vote
PRESENCE
2002
15 years 3 months ago
2002
In this paper we describe two explorations in the use of hybrid user interfaces for collaborative geographic data visualization. Our first interface combines three technologies; A...