7557 search results - page 706 / 1512 » Modeling Timed Concurrent Systems |
220
Voted
FQAS
2006
Springer
15 years 11 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...
221
Voted
ISITA
2010
15 years 5 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...
203
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...
194
click to vote
UAI
1990
15 years 8 months ago
1990
The intelligent reformulation or restructuring of a belief network can greatly increase the efficiency of inference. However, time expended for reformulation is not available for ...
167
Voted
ICDE
2010
IEEE
16 years 7 months ago
2010
IEEE
In three-tiered web applications, some form of admission control is required to ensure that throughput and response times are not significantly harmed during periods of heavy load....