722 search results - page 40 / 145 » The State Operator in Real Time Process Algebra |
171
Voted
KIVS
2001
Springer
15 years 8 months ago
2001
Springer
Ethernet is a widely used low-cost networking technology. It however lacks the determinism and resource management features needed to meet realtime requirements of multimedia appli...
154
click to vote
ISORC
2007
IEEE
15 years 10 months ago
2007
IEEE
Many emerging applications operate on continuous unbounded data streams and need real-time data services. Providing deadline guarantees for queries over dynamic data streams is a ...
122
click to vote
RTSS
1999
IEEE
15 years 8 months ago
1999
IEEE
The e ective design of composite dependable and real-time protocols entails demonstrating their proof of correctness and, in practice, the e cient delivery of services. We focus o...
173
click to vote
RTSS
1992
IEEE
15 years 8 months ago
1992
IEEE
The problem of scheduling a set of sporadic tasks that share a set of serially reusable, single unit software resources on a single processor is considered. The correctness condit...
145
click to vote
IWDC
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. The extension of Internet services to public transport passengers is slowly becoming inevitable. To this end, it is envisaged that high-speed local area networks will be ...