Sciweavers

6079 search results - page 469 / 1216
» Aspect-Oriented Process Engineering
Sort
View
ICSE
2009
IEEE-ACM
16 years 1 months ago
Verifying networked programs using a model checker extension
Model checking finds failures in software by exploring every possible execution schedule. Until recently it has been mainly applied to stand-alone applications. This paper presen...
Watcharin Leungwattanakit, Cyrille Artho, Masami H...
COMPSAC
2009
IEEE
16 years 1 months ago
Penetration Testing for Spam Filters
Despite all the advances on techniques to block spam e-mail messages we still receive them on a frequent basis. This is due mainly to the ability of the spammers to modify the mes...
Yugesh Madhavan, João W. Cangussu, Ram Dant...
177
Voted
KBSE
2009
IEEE
16 years 1 months ago
A Methodology and Framework to Simplify Usability Analysis of Mobile Applications
—Usability analysis is an important step in software development in order to improve certain aspects of the system. However, it is often a challenge especially when it comes to e...
Florence T. Balagtas-Fernandez, Heinrich Hussmann
143
Voted
ISPW
2009
IEEE
16 years 1 months ago
On the Relative Merits of Software Reuse
Abstract. Using process simulation and AI search methods, we compare software reuse against other possible changes to a project. such as reducing functionality or improving the ski...
Andres S. Orrego, Tim Menzies, Oussama El-Rawas
169
Voted
CAISE
2009
Springer
16 years 1 months ago
Deriving Information Requirements from Responsibility Models
Abstract. This paper describes research in understanding the requirements for complex information systems that are constructed from one or more generic COTS systems. We argue that,...
Ian Sommerville, Russell Lock, Tim Storer, John Do...