1959 search results - page 346 / 392 » Concerned About Separation |
DATE
2009
IEEE
15 years 6 months ago
2009
IEEE
—Core-cell stability represents the ability of the core-cell to keep the stored data. With the rapid development of semiconductor memories, their test is becoming a major concern...
115
click to vote
ISCA
2009
IEEE
15 years 6 months ago
2009
IEEE
While Moore’s Law predicts the ability of semi-conductor industry to engineer smaller and more efficient transistors and circuits, there are serious issues not contemplated in t...
103
click to vote
ERSHOV
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. A basic cornerstone of the Semantic Web are formal languages for describing resources in a clear and unambiguous way. Logical underpinnings facilitate automated reasoning...
130
click to vote
ICFEM
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. We study the problem of applying statistical methods for approximate model checking of probabilistic systems against properties encoded as PCTL formulas. Such approximate...
PROVSEC
2009
Springer
15 years 6 months ago
2009
Springer
Private inference control enables simultaneous enforcement of inference control and protection of users’ query privacy. Private inference control is a useful tool for database ap...