Sciweavers

2560 search results - page 217 / 512
» Analysis Tool for Honeypot Systems
Sort
View
RTA
2009
Springer
16 years 1 months ago
VMTL-A Modular Termination Laboratory
Abstract. The automated analysis of termination of term rewriting systems (TRSs) has drawn a lot of attention in the scientific community during the last decades and many differe...
Felix Schernhammer, Bernhard Gramlich
EMSOFT
2003
Springer
15 years 12 months ago
Intelligent Editor for Writing Worst-Case-Execution-Time-Oriented Programs
Abstract. To guarantee timeliness in hard real-time systems the knowledge of the worst-case execution time (WCET) for its time-critical tasks is mandatory. Accurate and correct WCE...
Janosch Fauster, Raimund Kirner, Peter P. Puschner
IFIP12
2009
15 years 4 months ago
Managing Diagnosis Processes with Interactive Decompositions
Abstract In the scientific literature, it is generally assumed that models can be completely established before the diagnosis analysis. However, in the actual maintenance problems,...
Quang-Huy Giap, Stéphane Ploix, Jean-Marie ...
ICRA
1999
IEEE
82views Robotics» more  ICRA 1999»
15 years 11 months ago
An Investigation into Non-Smooth Locomotion
We analyze a class of mechanisms that locomote by switching between constraints. Because of the hybrid nature of such systems, most of the existing analysis tools, developed prima...
Milos Zefran, Francesco Bullo, Jim Radford
CCS
2008
ACM
15 years 8 months ago
Ether: malware analysis via hardware virtualization extensions
Malware has become the centerpiece of most security threats on the Internet. Malware analysis is an essential technology that extracts the runtime behavior of malware, and supplie...
Artem Dinaburg, Paul Royal, Monirul I. Sharif, Wen...