Sciweavers

2940 search results - page 504 / 588
» Behavioral Constraints for Services
Sort
View
RTSS
1999
IEEE
14 years 5 days ago
On the Use of Formal Techniques for Analyzing Dependable Real-Time Protocols
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...
Purnendu Sinha, Neeraj Suri
RTSS
1998
IEEE
14 years 4 days ago
Deadline-Modification-SCAN with Maximum-Scannable-Groups for Multimedia Real-Time Disk Scheduling
suitable disk layout and network transmission schedule to minimize allocated resources (buffer size, bandwidth, ..., etc.) with maximum resource utilization. In this paper, the rea...
Ray-I Chang, Wei Kuan Shih, Ruei-Chuan Chang
INFOCOM
1997
IEEE
14 years 3 days ago
Channel Carrying: A Novel Handoff Scheme for Mobile Cellular Networks
— We present a new scheme that addresses the call handoff problem in mobile cellular networks. Efficiently solving the handoff problem is important for guaranteeing quality of s...
Junyi Li, Ness B. Shroff, Edwin K. P. Chong
ROBOCUP
1997
Springer
96views Robotics» more  ROBOCUP 1997»
14 years 1 days ago
The RoboCup Synthetic Agent Challenge 97
RoboCup Challenge offers a set of challenges for intelligent agent researchers using a friendly competition in a dynamic, real-time, multiagent domain. While RoboCup in general en...
Hiroaki Kitano, Milind Tambe, Peter Stone, Manuela...
ICDCS
1992
IEEE
13 years 12 months ago
End-to-End Scheduling to Meet Deadlines in Distributed Systems
In a distributed system or communication network tasks may need to be executed on more than one processor. For time-critical tasks, the timing constraints are typically given as e...
Riccardo Bettati, Jane W.-S. Liu