740 search results - page 27 / 148 » A Spatial Logic for Concurrency |
LICS
2006
IEEE
14 years 1 months ago
2006
IEEE
We motivate and study a generic relaxation of correctness of reactive and concurrent systems with respect to a temporal specification. We define a system to be fairly correct if...
KI
2007
Springer
14 years 1 months ago
2007
Springer
This paper describes a spatio-temporal configurations building approach, which has been applied to dynamics points in 1-dimensional space. In this approach, a temporal logic, Allen...
PAM
2010
Springer
14 years 2 months ago
2010
Springer
Abstract. Interference among co-channel users is a fundamental problem in wireless networks, which prevents nearby links from operating concurrently. Directional antennas allow the...
DFT
2002
IEEE
14 years 15 days ago
2002
IEEE
A novel approach for reducing power consumption in checkers used for concurrent error detection is presented. Spatial correlations between the outputs of the circuit that drives t...
HICSS
1999
IEEE
13 years 12 months ago
1999
IEEE
In this paper we describe a unique type of knowledge management systems virtual reality-enabled multi-user virtual environments with spatialised semantic structures. They are des...