3555 search results - page 685 / 711 » Security-Critical System Development with Extended Use Cases |
116
click to vote
ACSAC
1998
IEEE
15 years 5 months ago
1998
IEEE
System protection mechanisms such as access controls can be fooled by authorized but malicious users, masqueraders, and misfeasors. Intrusion detection techniques are therefore us...
140
click to vote
BMCBI
2008
15 years 1 months ago
2008
Background: Ontologies such as the Gene Ontology can enable the construction of complex queries over biological information in a conceptual way, however existing systems to do thi...
113
click to vote
KDD
2006
ACM
16 years 1 months ago
2006
ACM
Motivated by numerous applications in which the data may be modeled by a variable subscripted by three or more indices, we develop a tensor-based extension of the matrix CUR decom...
139
click to vote
WOLLIC
2009
Springer
15 years 7 months ago
2009
Springer
The paper provides a recipe for adequately representing a very inclusive class of finite-valued logics by way of tableaux. The only requisite for applying the method is that the o...
120
click to vote
SAC
2005
ACM
15 years 6 months ago
2005
ACM
Many biological information systems rely on relational database management systems (RDBMS) to manage high-throughput biological data. While keeping these data well archived, organ...