212 search results - page 20 / 43 » Hybrid Analysis and Control of Malware |
193
click to vote
WWW
2010
ACM
16 years 1 months ago
2010
ACM
JavaScript is a browser scripting language that allows developers to create sophisticated client-side interfaces for web applications. However, JavaScript code is also used to car...
165
click to vote
HAPTICS
2005
IEEE
16 years 7 days ago
2005
IEEE
The Maxima Haptics Package is a free software package for symbolic analysis of linear models of haptic devices and teleoperators. From a mechanical model of the haptic device, the...
188
click to vote
IJDE
2006
15 years 6 months ago
2006
Rootkits are malicious programs that silently subvert an operating system to hide an intruder's activities. Although there are a number of tools designed to detect rootkits, ...
179
click to vote
REX
1991
15 years 10 months ago
1991
We propose a framework for the formal speci cation and veri cation of timed and hybrid systems. For timed systems we propose a speci cation language that refers to time only throug...
194
click to vote
AUTOMATICA
1999
15 years 6 months ago
1999
We formulate the L2-gain control problem for a general nonlinear, state-space system with projection dynamics in the state evolution and hard constraints on the set of admissible ...