1221 search results - page 174 / 245 » From Modeling to Simulation of Multi-agent Systems: An Integ... |
TVCG
2008
13 years 8 months ago
2008
Traditional geospatial information visualizations often present views that restrict the user to a single perspective. When zoomed out, local trends and anomalies become suppressed ...
CBSE
2006
Springer
13 years 11 months ago
2006
Springer
We present a novel approach which facilitates formal verification of component-based software application families using model checking. This approach enables effective composition...
CSMR
2008
IEEE
14 years 2 months ago
2008
IEEE
Software engineers think about an existing software system in terms of high-level models. The high-level models are translated to source code and the concepts represented in these...
COMPGEOM
2004
ACM
14 years 1 months ago
2004
ACM
The computation of Delaunay triangulations from static point sets has been extensively studied in computational geometry. When the points move with known trajectories, kinetic dat...
EWSA
2004
Springer
14 years 1 months ago
2004
Springer
Mobile software applications have to meet new requirements directly arising from mobility issues. To address these requirements at an early stage in development, an architecture d...