9145 search results - page 1782 / 1829 » Description Logic Systems |
133
Voted
SACMAT
2009
ACM
15 years 10 months ago
2009
ACM
Traditional access control models, such as Role-Based Access Control (RBAC), do not take into account contextual information, such as location and time, for making access decision...
135
click to vote
SCAM
2008
IEEE
15 years 9 months ago
2008
IEEE
—More and more current software systems rely on non trivial coordination logic for combining autonomous services typically running on different platforms and often owned by diffe...
152
Voted
TPHOL
2008
IEEE
15 years 9 months ago
2008
IEEE
g to the well-known “LCF approach” of secure inferences as abstract datatype constructors in ML [16]; explicit proof terms are also available [8]. Isabelle/Isar provides sophis...
142
Voted
ALPIT
2007
IEEE
15 years 9 months ago
2007
IEEE
While information retrieval (IR) and databases (DB) have been developed independently, there have been emerging requirements that both data management and efficient text retrieva...
121
Voted
DFG
2007
Springer
15 years 9 months ago
2007
Springer
: To better understand how developmental regulatory networks are defined in the genome sequence, the Berkeley Drosophila Transcription Network Project (BDNTP) has developed a suit...