2024 search results - page 76 / 405 » A Logic Based Approach for Dynamic Access Control |
127
click to vote
APN
2001
Springer
15 years 6 months ago
2001
Springer
We address the verification of programmable logic controllers (PLC). In our approach, a PLC program is translated into a special type of colored Petri net, a so-called register net...
125
click to vote
CASES
2004
ACM
15 years 8 months ago
2004
ACM
ScratchPad Memories (SPMs) are commonly used in embedded systems because they are more energy-efficient than caches and enable tighter application control on the memory hierarchy...
131
click to vote
ISLPED
2006
ACM
15 years 9 months ago
2006
ACM
This paper presents an energy-conservation method for multiple disks and their cache memory. Our method periodically resizes the cache memory and controls the rotation speeds unde...
173
click to vote
TELETRAFFIC
2007
Springer
15 years 9 months ago
2007
Springer
Broadband satellite-based IP networks have been considered as the technology to enable a strong and promising next-generation market. In satellite communication systems, the channe...
119
click to vote
ICRA
2003
IEEE
15 years 8 months ago
2003
IEEE
—Mobile robot teams are increasingly deployed in various applications involving remote operations in unstructured environments that do not support wireless network infrastructure...