524 search results - page 65 / 105 » Application of Graph Transformation in Verification of Dynam... |
119
click to vote
COLCOM
2005
IEEE
15 years 3 months ago
2005
IEEE
Telepointers are a real-time groupware interface feature to indicate where other users are pointing. None of existing telepointer techniques, however, is capable of tracking the r...
147
click to vote
PVM
2010
Springer
15 years 11 days ago
2010
Springer
Abstract. Designing and tuning parallel applications with MPI, particularly at large scale, requires understanding the performance implications of different choices of algorithms ...
204
click to vote
GIS
2008
ACM
16 years 3 months ago
2008
ACM
Network data models are widely used to describe the connectivity between spatial features in GIS architectures. Recent applications demand that such models are editable in multius...
115
click to vote
SIAMAM
2010
15 years 11 days ago
2010
This paper concerns the dynamical behavior of weakly reversible, deterministically modeled population processes near the facets (codimension-one faces) of their invariant manifolds...
121
click to vote
SIGMOD
2005
ACM
16 years 2 months ago
2005
ACM
Advanced database systems face a great challenge raised by the emergence of massive, complex structural data in bioinformatics, chem-informatics, and many other applications. The ...