3799 search results - page 718 / 760 » An Engineering Approach to Formal Methods |
119
click to vote
COMPSAC
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract—In recent years, cost-sensitive intrusion response has gained significant interest, mainly due to its emphasis on the balance between potential damage incurred by the i...
114
click to vote
VRML
1999
ACM
15 years 8 months ago
1999
ACM
In this paper we propose a concept for transparent access to VRML state information. Our approach enhances VRML browsers to provide additional functionality instead of placing the...
128
Voted
IIWAS
2008
15 years 5 months ago
2008
Distributed development of software has turned into a natural and modern approach where teams spread over the world cooperate to develop a software product, and this has become po...
118
click to vote
DAGSTUHL
2006
15 years 5 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...
144
click to vote
ENTCS
2007
15 years 3 months ago
2007
Program slicing is a method for decomposing programs by analyzing their data and control flow. Slicingbased techniques have many applications in the field of software engineerin...