304 search results - page 13 / 61 » Privacy-Enhanced Event Scheduling |
TIME
2008
IEEE
14 years 2 months ago
2008
IEEE
The movement in public transport networks is organized according to schedules. The real-world schedules are specified by a set of periodic rules and a number of irregularities fr...
CISIS
2009
IEEE
14 years 3 months ago
2009
IEEE
Abstract. We focus on discrete event systems with a structure of parallel processing, synchronization, and noconcurrency. We use max-plus algebra, which is an effective approach fo...
ISOLA
2007
Springer
14 years 2 months ago
2007
Springer
We present a model of the IEEE 1394 Root Contention Protocol with a proof of Safety. This model has real-time properties which are expressed in the language of the event B method: ...
ISMAR
2006
IEEE
14 years 2 months ago
2006
IEEE
We describe an architecture for coping with latency and asynchrony of multisensory events in interactive virtual environments. We propose to decompose multisensory interactions in...
GI
2007
Springer
14 years 2 months ago
2007
Springer
: Bremen, Federal State of Germany, is planning to set up a headquarter for GMES - Global Monitoring of Environment and Security. One goal of the Institute of Shipping Economics an...