Sciweavers

468 search results - page 70 / 94
» Specification of Behaviour in Component Frameworks
Sort
View
ICDCS
2005
IEEE
14 years 1 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
13 years 11 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
ICCAD
1995
IEEE
114views Hardware» more  ICCAD 1995»
13 years 11 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
13 years 11 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
13 years 8 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