Sciweavers

8177 search results - page 617 / 1636
» Detecting System Emulators
Sort
View
SPIN
2004
Springer
16 years 6 days ago
Directed Error Detection in C++ with the Assembly-Level Model Checker StEAM
Most approaches for model checking software are based on ration of abstract models from source code, which may greatly reduce the search space, but may also introduce errors that a...
Peter Leven, Tilman Mehler, Stefan Edelkamp
AINA
2003
IEEE
16 years 5 days ago
Detection of Multiple Bottleneck Bandwidth
This paper endeavors to present a scheme to detect and estimate bottleneck bandwidth along the path in the Internet. We have participated in the RIPE NCC’s TTM project to perfor...
Niwat Thepvilojanapong, Yoshito Tobe, Kaoru Sezaki
ICMCS
2000
IEEE
183views Multimedia» more  ICMCS 2000»
15 years 11 months ago
Broadcast News Parsing using Visual Cues: A Robust Face Detection Approach
: Automatic content-based analysis and indexing of broadcast news recordings or digitized news archives is becoming an important tool in the framework of many multimedia interactiv...
Yannis S. Avrithis, Nicolas Tsapatsoulis, Stefanos...
ACSAC
1999
IEEE
15 years 11 months ago
A Middleware Approach to Asynchronous and Backward Compatible Detection and Prevention of ARP Cache Poisoning
This paper discusses the Address Resolution Protocol (ARP) and the problem of ARP cache poisoning. ARP cache poisoning is the malicious act, by a host in a LAN, of introducing a s...
Mahesh V. Tripunitara, Partha Dutta
APSEC
1997
IEEE
15 years 11 months ago
Detecting Common Mode Failures in N-Version Software Using Weakest Precondition Analysis
An underlying assumption for N-version programming technique is that independently developed versions would fail in a statistically independent mannel: Howevel; empirical studies ...
Gwang Sik Yoon, Sung Deok Cha, Yong Rae Kwon, Chan...