Sciweavers

2024 search results - page 160 / 405
» A Logic Based Approach for Dynamic Access Control
Sort
View
131
Voted
SBCCI
2006
ACM
139views VLSI» more  SBCCI 2006»
15 years 9 months ago
Infrastructure for dynamic reconfigurable systems: choices and trade-offs
Platform-based design is a method to implement complex SoCs, avoiding chip design from scratch. A promising evolution of platform-based design are MPSoC. Such generic architecture...
Leandro Möller, Rafael Soares, Ewerson Carval...
115
Voted
HASE
2005
IEEE
15 years 9 months ago
Automatic Generation of Executable Assertions for Runtime Checking Temporal Requirements
Checking various temporal requirements is a key dependability concern in safety-critical systems. As modelchecking approaches do not scale well to systems of high complexity the r...
Gergely Pintér, István Majzik
105
Voted
ICCS
2007
Springer
15 years 9 months ago
Metadata Management in S-OGSA
Metadata-intensive applications pose strong requirements for metadata management infrastructures, which need to deal with a large amount of distributed and dynamic metadata. Among ...
Óscar Corcho, Pinar Alper, Paolo Missier, S...
139
Voted
CIDR
2009
167views Algorithms» more  CIDR 2009»
15 years 4 months ago
Unbundling Transaction Services in the Cloud
The traditional architecture for a DBMS engine has the recovery, concurrency control and access method code tightly bound together in a storage engine for records. We propose a di...
David B. Lomet, Alan Fekete, Gerhard Weikum, Micha...
167
Voted
TABLEAUX
2009
Springer
15 years 10 months ago
A Novel Architecture for Situation Awareness Systems
Situation Awareness (SA) is the problem of comprehending elements of an environment within a volume of time and space. It is a crucial factor in decision-making in dynamic environm...
Franz Baader, Andreas Bauer 0002, Peter Baumgartne...