2560 search results - page 124 / 512 » Analysis Tool for Honeypot Systems |
107
Voted
ECOOP
2007
Springer
15 years 8 months ago
2007
Springer
— As new versions of software are developed bugs inevitably arise either due to regression or new functionality. Challenges arise in discovering, managing, and testing the impact...
CPE
1997
Springer
15 years 6 months ago
1997
Springer
Predicting the performance of a system before it is built is a highly desirable goal, but one that is rarely achieved. This paper examines performance problems and issues within in...
151
click to vote
WIFT
1998
IEEE
15 years 6 months ago
1998
IEEE
The Unified Modeling Language (UML) is likely to become an important industry standard language for modelling object-oriented systems. However, its use as a precise analysis tool ...
109
Voted
ECAI
2000
Springer
15 years 6 months ago
2000
Springer
In this paper we propose the use of process algebras as powerful frameworks for model-based diagnosis. In fact, they provide machinery and tools for building component-oriented mod...
151
Voted
RTA
2010
Springer
15 years 5 months ago
2010
Springer
We present an automated approach to prove termination of Java Bytecode (JBC) programs by automatically transforming them to term rewrite systems (TRSs). In this way, the numerous t...