3387 search results - page 122 / 678 » Model-Checking for Real-Time Systems |
186
click to vote
ICPADS
2005
IEEE
15 years 12 months ago
2005
IEEE
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...
159
click to vote
IPCCC
2005
IEEE
15 years 12 months ago
2005
IEEE
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...
150
click to vote
IPPS
2005
IEEE
15 years 12 months ago
2005
IEEE
This paper describes the design of the OpenSTARS real-time analysis tool. The paper focuses on criteria for a good analysis tool including correctness, performance/scalability, fl...
167
click to vote
ISORC
2005
IEEE
15 years 12 months ago
2005
IEEE
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...