Sciweavers

1690 search results - page 60 / 338
» Algorithmic Properties of Millstream Systems
Sort
View
GEM
2009
15 years 1 months ago
Evolutionary Methods in Self-organizing System Design
Self-organizing systems could serve as a solution for many technical problems where properties like robustness, scalability, and adaptability are required. However, despite all the...
Istvan Fehervari, Wilfried Elmenreich
HAPTICS
2008
IEEE
15 years 10 months ago
Haptic Feedback Based on Physically Based Modeling for Cellular Manipulation Systems
This paper focuses on developing a haptic rendering technique for cellular manipulation using image processing techniques and physically based models. The interaction forces betwee...
Jungsik Kim, Farrokh Janabi-Sharifi, Jung Kim
MVA
2002
15 years 3 months ago
A System for Locating License-plate Area from Images Taken under Complex Conditions
In this paper, an efficient edge-based approach, including implementation of a hardware system, for locating car license plate area from images taken under relatively complex cond...
Sunghoon Kim, Changsub Park, Gyeonghwan Kim
CAV
2004
Springer
93views Hardware» more  CAV 2004»
15 years 9 months ago
Symbolic Parametric Safety Analysis of Linear Hybrid Systems with BDD-Like Data-Structures
—We introduce a new BDD-like data structure called Hybrid-Restriction Diagrams (HRDs) for the representation and manipulation of linear hybrid automata (LHA) state-spaces and pre...
Farn Wang
IEEEIA
2009
15 years 1 months ago
Information Leakage Detection in Distributed Systems using Software Agent
Covert channel attacks utilize shared resources to indirectly transmit sensitive information to unauthorized parties. Current security mechanisms such as SELinux rely on tagging th...
Yung-Chuan Lee, Stephen Bishop, Hamed Okhravi, Sha...