437 search results - page 34 / 88 » A Complete Temporal and Spatial Logic for Distributed System... |
140
Voted
ECRTS
1999
IEEE
15 years 8 months ago
1999
IEEE
Many industrial applications mandate the use of a timetriggered paradigm and consequently the use of off-line scheduling for reasons such as predictability, certification, cost, o...
130
Voted
ISPAN
2009
IEEE
15 years 10 months ago
2009
IEEE
— This paper presents a novel framework for intelligent temperature control in smart homes using Wireless Sensor Networks (WSN) and geostatistical analysis for total spatial awar...
135
Voted
IWMM
2010
Springer
15 years 8 months ago
2010
Springer
Temporal memory safety errors, such as dangling pointer dereferences and double frees, are a prevalent source of software bugs in unmanaged languages such as C. Existing schemes t...
132
Voted
ATAL
2009
Springer
15 years 10 months ago
2009
Springer
We present a logic for reasoning about strategic games. The logic is a modal formalism, based on the Coalition Logic of Propositional Control, to which we add the notions of outco...
125
Voted
ANSS
2002
IEEE
15 years 8 months ago
2002
IEEE
This paper introduces TUTW – Temporal Uncertainty Time Warp – a control engine designed for an exploitation of temporal uncertainty (TU) in general optimistic simulations, and...