6308 search results - page 454 / 1262 » Modeling Urgency in Timed Systems |
157
click to vote
SASO
2008
IEEE
16 years 1 months ago
2008
IEEE
We investigate periodic time synchronization of networks without centralized control, which can be modeled as a problem of aligning local variables taking values on a circle. Sync...
184
click to vote
ASP
2001
Springer
15 years 11 months ago
2001
Springer
We define a reduction system Ë¿ which preserves the stable semantics. This system includes two types of transformation rules. One type (which we call ˾) preserves the stable...
212
click to vote
FQAS
2006
Springer
15 years 10 months ago
2006
Springer
Time plays an important role in our everyday's life. For a lot of observations we make and actions we perform, temporal information is relevant. The importance of time is refl...
209
click to vote
ISITA
2010
15 years 4 months ago
2010
The NRL Network Pump R , or Pump, is a standard for mitigating covert channels that arise in a multi-level secure (MLS) system when a high user (HU) sends acknowledgements to a low...
186
click to vote
ICPR
2000
IEEE
15 years 11 months ago
2000
IEEE
We introduce an online adaptive algorithm for learning gesture models. By learning gesture models in an online fashion, the gesture recognition process is made more robust, and th...