Sciweavers

9210 search results - page 128 / 1842
» Analyzing Real-Time Systems
Sort
View
ICPADS
2005
IEEE
14 years 2 months ago
UNIDES: An Efficient Real-Time System to Detect and Block Unauthorized Internet Access
In the audit process of Internet activities of users in a local area network, one of the most difficult problems is the problem of source authentication i.e. establishing securely...
Yusuf Uzunay, Kemal Bicakci
IPCCC
2005
IEEE
14 years 2 months ago
Real time agreement protocol and resource pre-reservation for wireless system
The third generation of mobile networks aims to offer services diversified to users, while guaranteeing acceptable QoS. This results in the setting up of strategies of increasingl...
Sonia Ben Rejeb, Sami Tabbane, Zièd Choukai...
ISORC
2005
IEEE
14 years 2 months ago
Stochastic, Utility Accrual Real-Time Scheduling with Task-Level and System-Level Timeliness Assurances
Heuristic algorithms have enjoyed increasing interests and success in the context of Utility Accrual (UA) scheduling. However, few analytical results, such as bounds on task-level...
Peng Li, Hyeonjoong Cho, Binoy Ravindran, E. Dougl...
FASE
2005
Springer
14 years 2 months ago
Automated Compositional Proofs for Real-Time Systems
Carlo A. Furia, Matteo Rossi, Dino Mandrioli, Ange...