618 search results - page 73 / 124 » A Practical Program Transformation System for Reverse Engine... |
136
Voted
DSN
2008
IEEE
15 years 9 months ago
2008
IEEE
Many threats that plague today’s networks (e.g., phishing, botnets, denial of service attacks) are enabled by a complex ecosystem of attack programs commonly called malware. To ...
109
Voted
DAGSTUHL
2006
15 years 4 months ago
2006
Abstract. In the context of an approach for reengineering legacy software systems at the architectural level, we present in this paper a reverse engineering methodology that uses a...
106
click to vote
SEKE
2005
Springer
15 years 8 months ago
2005
Springer
Checking for properties of Web ontologies is important for the development of reliable Semantic Web systems. Software specification and verification tools can be used to complem...
142
click to vote
EUROSYS
2011
ACM
14 years 6 months ago
2011
ACM
Although they are helpful in many cases, state-of-the-art bug reporting systems may impose excessive overhead on users, leak private information, or provide little help to the dev...
140
Voted
ESOP
2010
Springer
16 years 21 days ago
2010
Springer
Abstract. Embedded information assurance applications that are critical to national and international infrastructures, must often adhere to certification regimes that require infor...