2838 search results - page 242 / 568 » Verifying Controlled Components |
116
click to vote
ACSAC
2009
IEEE
15 years 9 months ago
2009
IEEE
Device drivers on commodity operating systems execute with kernel privilege and have unfettered access to kernel data structures. Several recent attacks demonstrate that such poor...
137
click to vote
EMSOFT
2003
Springer
15 years 7 months ago
2003
Springer
We present a formalism for specifying component interfaces that expose component requirements on limited resources. The formalism permits an algorithmic check if two or more compon...
264
click to vote
Publication
Congestion avoidance mechanisms allow a network to operate in the optimal region of low delay and high throughput, thereby, preventing the network from becoming congested. This is ...
140
click to vote
CONSTRAINTS
2002
15 years 2 months ago
2002
It is a challenging task for a team of multiple fast-moving robots to cooperate with each other and to compete with another team in a dynamic, real-time environment. For a robot te...
123
click to vote
CCS
2010
ACM
14 years 9 months ago
2010
ACM
Traditional web application development often encounters tight coupling problem between access control logic and business logic. It is hard to configure and modify access control ...