Sciweavers

6474 search results - page 421 / 1295
» Towards a Systemic Approach to Autonomic Systems Engineering
Sort
View
UM
2005
Springer
16 years 12 days ago
Towards User Modeling Meta-ontology
The paper proposes meta-ontology of the user modeling field. Ontology is meant to structure the state-of-the-art in the field and serve as a central reference point and as a tool t...
Michael Yudelson, Tatiana Gavrilova, Peter Brusilo...
EURODAC
1995
IEEE
126views VHDL» more  EURODAC 1995»
15 years 10 months ago
Towards verifying VHDL descriptions of processors
We present a system for the formal veri cation of processors which combines a computer algebra simpli cation tool with an object-oriented approach. It has been successfully used f...
Laurent Arditi, Hélène Collavizza
ICCAD
2009
IEEE
171views Hardware» more  ICCAD 2009»
15 years 4 months ago
A hybrid local-global approach for multi-core thermal management
Multi-core processors have become an integral part of mainstream high performance computer systems. In parallel, exponentially increasing power density and packaging costs have ne...
Ramkumar Jayaseelan, Tulika Mitra
PODS
2009
ACM
134views Database» more  PODS 2009»
16 years 7 months ago
An efficient rigorous approach for identifying statistically significant frequent itemsets
As advances in technology allow for the collection, storage, and analysis of vast amounts of data, the task of screening and assessing the significance of discovered patterns is b...
Adam Kirsch, Michael Mitzenmacher, Andrea Pietraca...
FASE
2010
Springer
15 years 5 months ago
A Verifiable Modeling Approach to Configurable Role-Based Access Control
Role-based access control (RBAC) is a popular access control model for enterprise systems due to its economic benefit and scalability. There are many RBAC features available, each ...
Dae-Kyoo Kim, Lunjin Lu, Sangsig Kim