4737 search results - page 278 / 948 » The LOGIC negotiation model |
208
click to vote
LCTRTS
2005
Springer
16 years 23 days ago
2005
Springer
This paper introduces the notion of transparent distribution of real time software components. Transparent distribution means that (1) the functional and temporal behavior of a sy...
200
click to vote
ETAI
1998
15 years 7 months ago
1998
Any model of the world a robot constructs on the basis of its sensor data is necessarily both incomplete, due to the robot’s limited window on the world, and uncertain, due to s...
194
click to vote
FORMATS
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. We show how to transform formulae written in the real-time temporal logic MITL into timed automata that recognize their satisfying models. This compositional construction...
187
click to vote
WSC
2007
15 years 9 months ago
2007
The HLA time management is an important factor that limits the scalability of distributed simulations. An efficient algorithm of Greatest Available Logical Time (GALT) is thus muc...
173
click to vote
JAPLL
2007
15 years 7 months ago
2007
Starting off from the infinitary system for common knowledge over multi-modal epistemic logic presented in Alberucci and J¨ager [1], we apply the finite model property to “...