Sciweavers

1526 search results - page 60 / 306
» Roles: A Four-Dimensional Analysis
Sort
View
DEXA
1998
Springer
105views Database» more  DEXA 1998»
15 years 10 months ago
Semantic Based Schema Analysis
: Semantic similarity between schema elements is greatly influenced by the context in which the elements are defined and compared. This paper emphasizes on the role of context in e...
Nayyer Masood, Barry Eaglestone
ISLPED
1997
ACM
114views Hardware» more  ISLPED 1997»
15 years 10 months ago
Analysis of power consumption in memory hierarchies
In this paper, we note and analyze a key trade-off: as the complexity of caches increases (higher set-associativity, larger block size, and larger overall size), the power consume...
Patrick Hicks, Matthew Walnock, Robert Michael Owe...
CDC
2009
IEEE
136views Control Systems» more  CDC 2009»
15 years 10 months ago
Verification of K-step opacity and analysis of its complexity
In this paper, we analyze the verification of K-step opacity in discrete event systems that are modeled as (possibly non-deterministic) finite automata with partial observation on ...
Anooshiravan Saboori, Christoforos N. Hadjicostis
CIA
2006
Springer
15 years 10 months ago
Agent-Based Analysis and Support for Incident Management
This paper presents an agent-based approach for error detection in incident management organizations. The approach consists of several parts. First, a formal approach for the speci...
Mark Hoogendoorn, Catholijn M. Jonker, Jan Treur, ...
APSEC
2003
IEEE
15 years 9 months ago
An Analysis of Backward Simulation Data-Refinement for Partial Relation Semantics
This paper investigates data-refinement by backward simulation for specifications whose semantics is given by partial relations. The standard model-theoretic approach is based on ...
Moshe Deutsch, Martin C. Henson