Sciweavers

531 search results - page 75 / 107
» An Argumentation-Based Approach for Practical Reasoning
Sort
View
109
Voted
ICSE
2009
IEEE-ACM
15 years 10 months ago
Mining recurrent activities: Fourier analysis of change events
Within the field of software repository mining, it is common practice to extract change-events from source control systems and then abstract these events to allow for different a...
Abram Hindle, Michael W. Godfrey, Richard C. Holt
139
Voted
ICAC
2009
IEEE
15 years 10 months ago
Multi-perspective evaluation of self-healing systems using simple probabilistic models
In this paper we construct an evaluation framework for a self-healing system, VM-Rejuv – a virtual machine based rejuvenation scheme for web-application servers – using simple...
Rean Griffith, Gail E. Kaiser, Javier Alonso L&oac...
113
Voted
ICST
2009
IEEE
15 years 10 months ago
Inferring Types of References to GUI Objects in Test Scripts
Since manual black-box testing of GUI-based APplications (GAPs) is tedious and laborious, test engineers create test scripts to automate the testing process. These test scripts in...
Chen Fu, Mark Grechanik, Qing Xie
TPHOL
2009
IEEE
15 years 10 months ago
Formal Analysis of Optical Waveguides in HOL
Optical systems are becoming increasingly important as they tend to resolve many bottlenecks in the present age communications and electronics. Some common examples include their u...
Osman Hasan, Sanaz Khan Afshar, Sofiène Tah...
CSFW
2008
IEEE
15 years 10 months ago
Language Based Secure Communication
Secure communication in distributed systems is notoriously hard to achieve due to the variety of attacks an adversary can mount, based on message interception, modification, redi...
Michele Bugliesi, Riccardo Focardi