Sciweavers

468 search results - page 70 / 94
» Specification of Behaviour in Component Frameworks
Sort
View
ICDCS
2005
IEEE
15 years 3 months ago
Filter Based Directory Replication: Algorithms and Performance
Directories have become an important component of the enterprise security and identity management middleware. This paper describes a novel filter based replication model for Light...
Apurva Kumar
HUMO
2000
Springer
15 years 1 months ago
Activity Monitoring and Summarization for an Intelligent Meeting Room
Intelligent meeting rooms should support efficient and effective interactions among its occupants. In this paper, we present our efforts toward building intelligent environments u...
Ivana Mikic, Kohsia S. Huang, Mohan M. Trivedi
78
Voted
ICCAD
1995
IEEE
114views Hardware» more  ICCAD 1995»
15 years 1 months ago
Sequential synthesis using S1S
Abstract—We propose the use of the logic S1S as a mathematical framework for studying the synthesis of sequential designs. We will show that this leads to simple and mathematical...
Adnan Aziz, Felice Balarin, Robert K. Brayton, Alb...
CKEC
1991
15 years 1 months ago
Case-Based Reasoning and Model-Based Knowledge Acquisition
We propose in this paper a general framework for integrating inductive and case-based reasoning techniques for diagnosis tasks. We present a set of practical integrated approaches...
Dietmar Janetzko, Gerhard Strube
DIMVA
2004
14 years 11 months ago
Structural Comparison of Executable Objects
: A method to heuristically construct an isomorphism between the sets of functions in two similar but differing versions of the same executable file is presented. Such an isomorphi...
Halvar Flake