103 search results - page 11 / 21 » Dynamical Spatial Systems - A Potential Approach for the App... |
ENTCS
2008
13 years 6 months ago
2008
Thanks to recent advances, modern proof assistants now enable verification of realistic sequential programs. However, regarding the concurrency paradigm, previous work essentially...
RECOMB
2009
Springer
14 years 7 months ago
2009
Springer
Collective behavior involving distally separate regions in a protein is known to widely affect its function. In this paper, we present an online approach to study and characterize ...
ATAL
2003
Springer
13 years 12 months ago
2003
Springer
Self-organization is built upon two main building blocks: adaptive and uncoupled interaction mechanisms and context-awareness. Here we show how the middleware TOTA (Tuples On The ...
FUNGAMES
2008
13 years 7 months ago
2008
Abstract. Rotational dynamic system models can be used to enrich tightlycoupled embodied control of movement-sensitive mobile devices, and support a more bidirectional, negotiated ...
ICDE
2008
IEEE
14 years 8 months ago
2008
IEEE
Network data models are frequently used as a mechanism to describe the connectivity between spatial features in many emerging GIS applications (location-based services, transporta...