Sciweavers

9051 search results - page 322 / 1811
» On detectability of stochastic systems
Sort
View
173
Voted
MHCI
2005
Springer
16 years 28 days ago
A support system for finding lost objects using spotlight
We propose a support system for finding lost objects indoors. The system employs active RFID and ultrasonic position detection to detect the position of a lost object. The system...
Toyohisa Nakada, Hideaki Kanai, Susumu Kunifuji
211
Voted
WCRE
1999
IEEE
15 years 11 months ago
Partial Redesign of Java Software Systems Based on Clone Analysis
Code duplication, plausibly caused by copying source code and slightly modifying it, is often observed in large systems. Clone detection and documentation have been investigated b...
Magdalena Balazinska, Ettore Merlo, Michel Dagenai...
SP
1997
IEEE
130views Security Privacy» more  SP 1997»
15 years 11 months ago
Execution Monitoring of Security-Critical Programs in Distributed Systems: A Specification-Based Approach
This paper describes a specification-based approach to detect exploitations of vulnerabdities in securitycritical programs. The approach utilizes security specifications that desc...
Calvin Ko, Manfred Ruschitzka, Karl N. Levitt
193
Voted
PTS
2008
98views Hardware» more  PTS 2008»
15 years 8 months ago
Modular System Verification by Inference, Testing and Reachability Analysis
Verification of a modular system composed of communicating components is a difficult problem, especially when the models of the components are not available. Conventional testing t...
Roland Groz, Keqin Li 0002, Alexandre Petrenko, Mu...
SNPD
2007
15 years 8 months ago
Parallel analysis of polymorphic viral code using automated deduction system
As malicious code has become more sophisticated and pervasive, faster and more effective system for forensics and prevention is important. Particularly, quick analysis of polymorp...
Ruo Ando