Sciweavers

840 search results - page 79 / 168
» A decision support system to improve e-learning environments
Sort
View
ISMVL
2010
IEEE
188views Hardware» more  ISMVL 2010»
15 years 11 months ago
MDGs Reduction Technique Based on the HOL Theorem Prover
—Multiway Decision Graphs (MDGs) subsume Binary Decision Diagrams (BDDs) and extend them by a first-order formulae suitable for model checking of data path circuits. In this pap...
Sa'ed Abed, Otmane Aït Mohamed
ICTAI
2009
IEEE
16 years 1 months ago
Managing Authorization Provenance: A Modal Logic Based Approach
Abstract—In distributed environments, access control decisions depend on statements of multiple agents rather than only one central trusted party. However, existing policy langua...
Jinwei Hu, Yan Zhang, Ruixuan Li, Zhengding Lu
EDBT
2010
ACM
151views Database» more  EDBT 2010»
15 years 11 months ago
Warm cache costing: a feedback optimization technique for buffer pool aware costing
Most modern RDBMS depend on the query processing optimizer’s cost model to choose the best execution plan for a given query. Since the physical IO (PIO) is a costly operation to...
H. S. Ramanujam, Edwin Seputis
OTM
2007
Springer
16 years 14 days ago
Personalized Information Access in a Wiki Using Structured Tagging
Environmental engineers from different organizations work in interdisciplinary projects having the need of information exchange. In particular, a collaborative environment with pe...
Anmol V. Singh, Andreas Wombacher, Karl Aberer
SEKE
2009
Springer
16 years 26 days ago
Bridging Semantic Gaps Between Stakeholders in the Production Automation Domain with Ontology Areas
Abstract—Stakeholders from several domains with local terminologies have to work together to develop and operate softwareintensive systems, like production automation systems. On...
Stefan Biffl, Wikan Danar Sunindyo, Thomas Moser