623 search results - page 53 / 125 » Relational Parametricity for Control Considered as a Computa... |
SACMAT
2010
ACM
15 years 4 months ago
2010
ACM
The role-based access control (RBAC) has significantly simplified the management of users and permissions in computing systems. In dynamic environments, systems are usually unde...
ICPR
2004
IEEE
16 years 29 days ago
2004
IEEE
: Significant progress has been made by the computer vision community in recent years along two fronts: (i) developing complex spatial-temporal models for object registration and t...
RTSS
2009
IEEE
15 years 6 months ago
2009
IEEE
In work on multiprocessor real-time systems, task scheduling with self-suspensions is a relatively unexplored topic. In this paper, soft real-time sporadic task systems are consid...
CONCUR
2005
Springer
15 years 1 months ago
2005
Springer
Abstract. Delaying the synchronization of actions may reveal some hidden behavior that would not happen if the synchronization met the specified deadlines. This precise phenomenon...
WWIC
2007
Springer
15 years 6 months ago
2007
Springer
We propose a layered quality adaptation scheme for video streams to smooth the short-term oscillations induced by Additive Increase Multiplicative Decrease (AIMD) mechanisms, and e...