1840 search results - page 58 / 368 » time 2002 |
ENTCS
2002
14 years 11 months ago
2002
Petri nets where, to my knowledge, the first theoretical model augmented with time constraints [Mer74], and the support of the first reachability algorithm of timed system [BM83, ...
ANSS
2002
IEEE
15 years 4 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...
RTSS
2002
IEEE
15 years 4 months ago
2002
IEEE
We consider a resource synthesis technique for realtime systems where the energy budget is limited and the performance of the system depends on how resources and energy are used. ...
JOLLI
2002
14 years 11 months ago
2002
Temporal logic can be used to describe processes: their behaviour is characterized by a set of temporal models axiomatized by a temporal theory. Two types of models are most often ...
RAS
2002
14 years 11 months ago
2002
The possibility of operating in remote environments by means of telecontrolled systems has always been considered of relevant interest in robotics. For this reason, in the literat...