4924 search results - page 257 / 985 » A Software System for Spatial Data Analysis and Modeling |
133
click to vote
TACAS
2007
Springer
15 years 11 months ago
2007
Springer
Analysis of biological data often requires an understanding of components of pathways and/or networks and their mutual dependency relationships. Such systems are often analyzed and...
156
click to vote
GI
2008
Springer
15 years 6 months ago
2008
Springer
: As data and services are increasingly distributed in the network, rather than stored in a fixed location, one can imagine a scenario in which the Personal Computer, intended as a...
143
Voted
ACMSE
2007
ACM
15 years 9 months ago
2007
ACM
As a software system evolves to accommodate new features and repair bugs, changes are needed. Software components are interdependent, changes made to one component can require cha...
232
click to vote
GIS
2004
ACM
16 years 6 months ago
2004
ACM
In the geometric data model [6], spatio-temporal data are modelled as a finite collection of triangles that are transformed by time-dependent affinities. To facilitate querying an...
175
click to vote
WCET
2010
15 years 2 months ago
2010
Safe and tight worst-case execution times (WCETs) are important when scheduling hard realtime systems. This paper presents METAMOC, a modular method, based on model checking and s...