3456 search results - page 214 / 692 » Byte Code Engineering |
135
click to vote
BIRTHDAY
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Loops and other unbound control structures constitute a major bottleneck in formal software verification, because correctness proofs over such control structures generall...
135
click to vote
DIMVA
2009
15 years 4 months ago
2009
Drive-by download attacks are among the most common methods for spreading malware today. These attacks typically exploit memory corruption vulnerabilities in web browsers and brows...
114
Voted
SE
2007
15 years 4 months ago
2007
Abstract: In diesem Artikel erl¨autern wir die Erfahrungen, die wir bis zum jetzigen Zeitpunkt im Zuge der Portierung einer komplexen Anwendung auf die .NETPlattform sammeln konnt...
168
Voted
CODES
2007
IEEE
15 years 9 months ago
2007
IEEE
Instruction Set Simulation (ISS) is widely used in system evaluation and software development for embedded processors. Despite the significant advancements in the ISS technology,...
144
Voted
EMSOFT
2005
Springer
15 years 9 months ago
2005
Springer
Hybrid systems are an appropriate formalism to model embedded systems as they capture the theme of continuous dynamics with discrete control. A simple extension, a network of comm...