5639 search results - page 311 / 1128 » Timed Abstract Non-interference |
154
Voted
ICSE
2003
IEEE-ACM
15 years 9 months ago
2003
IEEE-ACM
Abstract. Dependable distributed applications require flexible infrastructure support for controlled redundancy, replication, and recovery of components and services. However, mos...
129
Voted
GPC
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. A Service-Level Agreement (SLA) provides surety for specific quality attributes to the consumers of services. However, the current SLAs offered by cloud providers do no...
116
Voted
IPPS
1998
IEEE
15 years 8 months ago
1998
IEEE
Abstract. We describe a group membership protocol, called the timewheel group membership protocol, for a timed asynchronous distributed system. This protocol is a part of the timew...
114
Voted
ER
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. Database applications are frequently faced with the necessity of representing time varying information and, particularly in the management of information systems, a few k...
127
Voted
HYBRID
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. A self-triggered control task is one in which the task determines its next release time. It has been conjectured that self-triggering can relax the requirements on a real...