878 search results - page 121 / 176 » Modelling Communicating Agents in Timed Reasoning Logics |
DAGSTUHL
2004
15 years 1 months ago
2004
This paper describes a solution for bus scheduling of distributed multi-mode TDL (Timing Definition Language) components. The TDL component model is based on the concept of Logical...
76
Voted
ISCC
2007
IEEE
15 years 6 months ago
2007
IEEE
An optimally working mobile system requires tight cooperation and an information stream that flows impeccably between its components. This, however, is not the current state of t...
126
click to vote
TARK
2007
Springer
15 years 6 months ago
2007
Springer
We contend that reasoning about knowledge is both natural and pragmatic for verification of electronic voting protocols. We present a model in which desirable properties of elect...
110
click to vote
TIME
2009
IEEE
15 years 6 months ago
2009
IEEE
—The anonymization of location based queries through the generalization of spatio-temporal information has been proposed as a privacy preserving technique. We show that the prese...
TIME
2007
IEEE
15 years 6 months ago
2007
IEEE
Forty-four relations are found between an interval and an interval with a gap ( rIIg ), capturing semantics that are distinct from those of the sets of constituting intervals and ...