1005 search results - page 7 / 201 » Temporal Structures |
CHI
2004
ACM
14 years 7 months ago
2004
ACM
Everyday work frequently involves coordinating and collaborating with others, but the structure of collaboration is largely invisible to conventional desktop applications. We are ...
DKE
1998
13 years 7 months ago
1998
Disk I/O is a major bottleneck for query processing in database applications. This bottleneck is especially a problem for temporal databases because of their large size. Reduction...
MM
2006
ACM
14 years 1 months ago
2006
ACM
In this paper we propose a framework for the computational extraction of time characteristics of a single choreographic work. Computational frameworks can aid in revealing nonsali...
FROCOS
2005
Springer
14 years 27 days ago
2005
Springer
Abstract. In this paper, we introduce a spatial and temporal logic for reasoning about distributed computation. The logic is a combination of an extension of hybrid logic, that all...
FUIN
2006
13 years 7 months ago
2006
Logics for expressing properties of Petri hypernets, a visual formalism for modelling mobile agents, are proposed. Two classes of properties are of interest--the temporal evolution...