2520 search results - page 355 / 504 » Model-checking behavioral programs |
121
Voted
ACSAC
2006
IEEE
15 years 8 months ago
2006
IEEE
Modern malware often hide the malicious portion of their program code by making it appear as data at compiletime and transforming it back into executable code at runtime. This obf...
93
Voted
CSMR
2006
IEEE
15 years 8 months ago
2006
IEEE
When reengineering legacy systems, it is crucial to assess if the legacy behavior has been preserved or how it changed due to the reengineering effort. Ideally if a legacy system ...
112
click to vote
ICRA
2006
IEEE
15 years 8 months ago
2006
IEEE
Abstract— Tomorrow’s humanoids will operate in human environments, where efficient manipulation and locomotion skills, and safe contact interactions will be critical design fa...
153
Voted
IEEEARES
2006
IEEE
15 years 8 months ago
2006
IEEE
Most current anomaly Intrusion Detection Systems (IDSs) detect computer network behavior as normal or abnormal but cannot identify the type of attacks. Moreover, most current intr...
122
click to vote
RTAS
2006
IEEE
15 years 8 months ago
2006
IEEE
Distributed hard real-time systems require guaranteed communication. One common approach is to restrict network access by enforcing a time-division multiple access (TDMA) schedule...