655 search results - page 85 / 131 » Coinduction in Concurrent Timed Systems |
127
click to vote
SIES
2009
IEEE
15 years 6 months ago
2009
IEEE
—We introduce variable-bandwidth servers (VBS) for scheduling and executing processes under programmable temporal isolation. A VBS is an extension of a constant-bandwidth server ...
BIRTHDAY
2009
Springer
15 years 6 months ago
2009
Springer
The Knowledge Base Management Systems (KBMS) Project at the University of Toronto (1985-1995) was inspired by a need for advanced knowledge representation applications that require...
LICS
2005
IEEE
15 years 5 months ago
2005
IEEE
In the 1980s process algebras became widely accepted formalisms for describing and analysing concurrency. Extensions of the formalisms, incorporating some aspects of systems which...
ICN
2005
Springer
15 years 5 months ago
2005
Springer
This paper introduces a dynamic bandwidth allocation algorithm in a video streaming multicast system. The approach is to introduce the vibration of received video quality into the ...
MIDDLEWARE
2005
Springer
15 years 5 months ago
2005
Springer
This paper introduces dual-quorum replication, a novel data replication algorithm designed to support Internet edge services. Dual-quorum replication combines volume leases and qu...