1536 search results - page 170 / 308 » On the Relation between Interpreted Systems and Kripke Model... |
JSAC
2010
13 years 8 months ago
2010
—We study broadcasting of information in a system of moving agents equipped with omnidirectional as well as directional antenna. The agent communication protocol is inspired by t...
ACSC
2003
IEEE
14 years 3 months ago
2003
IEEE
The relative difference between two data values is of interest in a number of application domains including temporal and spatial applications, schema versioning, data warehousing...
WWW
2005
ACM
14 years 10 months ago
2005
ACM
A software design is often modeled as a collection of unified Modeling Language (UML) diagrams. There are different aspects of the software system that are covered by many differe...
IWINAC
2009
Springer
14 years 4 months ago
2009
Springer
Data related to the coordination and modulation between visual information, gaze direction and arm reaching movements in primates are analyzed from a computational point of view. T...
CHI
2009
ACM
13 years 8 months ago
2009
ACM
Interaction programming bridges the gap between interaction design and programming, but it has not yet been related directly to mainstream development practice. This paper present...