2293 search results - page 411 / 459 » Temporal Logic in Information Systems |
ISW
2004
Springer
15 years 3 months ago
2004
Springer
We present a model of access control which provides fine-grained data-dependent control, can express permissions about permissions, can express delegation, and can describe syste...
EMSOFT
2006
Springer
15 years 1 months ago
2006
Springer
In NAND flash-based storage systems, an intermediate software layer called a flash translation layer (FTL) is usually employed to hide the erase-before-write characteristics of NA...
115
click to vote
SIGCOMM
1991
ACM
15 years 1 months ago
1991
ACM
This paper presents a control-theoretic approach to reactive flow control in networks that do not reserve bandwidth. We assume a round-robin-like queue service discipline in the o...
VLDB
1991
ACM
15 years 1 months ago
1991
ACM
It is widely recognized that production rules in database systems can be used to automatically maintain derived data such as views. However, writing a correct set of rules for e ci...
CLIMA
2007
14 years 11 months ago
2007
In an open Multi-Agent System, the goals of agents acting on behalf of their owners often conflict with each other. Therefore, a personal agent protecting the interest of a single...