6306 search results - page 168 / 1262 » Space, Time, and the Use of Language |
ENTCS
2006
14 years 10 months ago
2006
We consider a first-order property specification language for run-time monitoring of dynamic systems. The language is based on a linear-time temporal logic and offers two kinds of...
HT
2009
ACM
15 years 4 months ago
2009
ACM
While weblogs have been conceptualised as personal thinking spaces since their early days, those uses have not been studied in detail. The purpose of this paper is to explore how ...
TIME
1998
IEEE
15 years 2 months ago
1998
IEEE
In this paper, we propose a logic of action and causality. The most important part of our contribution is a semantics that integrates action, temporal structure, and probability. ...
175
click to vote
ICDE
2001
IEEE
15 years 11 months ago
2001
IEEE
The paper studies the impact of several lock manager designs on the overhead imposed to a persistent programming language by automated object locking. Our study reveals that a loc...
GTTSE
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. This tutorial explores the design space of heterogeneous synchronization, which is concerned with establishing consistency among artifacts that conform to different sche...