3028 search results - page 451 / 606 » Integrating Temporal Logics |
EUROPAR
2005
Springer
14 years 3 months ago
2005
Springer
There are two important hurdles that restrict the scalability of directory-based shared-memory multiprocessors: the directory memory overhead and the long L2 miss latencies due to ...
AFRIGRAPH
2004
ACM
14 years 3 months ago
2004
ACM
In the real world, the human eye is confronted with a wide range of luminances from bright sunshine to low night light. Our eyes cope with this vast range of intensities by adapta...
MM
2004
ACM
2004
ACM
SMARXO: towards secured multimedia applications by adopting RBAC, XML and object-relational database
14 years 3 months ago
In this paper, a framework named SMARXO is proposed to address the security issues in multimedia applications by adopting RBAC (Role-Based Access Control), XML, and ObjectRelation...
SACMAT
2004
ACM
14 years 3 months ago
2004
ACM
Access control in enterprises is a key research area in the realm of Computer Security because of the unique needs of the target enterprise. As the enterprise typically has large ...
FMCAD
2004
Springer
14 years 3 months ago
2004
Springer
Most symbolic model checkers are based on either Binary Decision Diagrams (BDDs), which may grow exponentially large, or Satisfiability (SAT) solvers, whose time requirements rapi...