Sciweavers

1592 search results - page 287 / 319
» Software Process - Standards, Assessments and Improvement
Sort
View
IEEEARES
2008
IEEE
15 years 5 months ago
A Lightweight Security Analyzer inside GCC
This paper describes the design and implementation of a lightweight static security analyzer that exploits the compilation process of the gcc compiler. The tool is aimed at giving...
Davide Pozza, Riccardo Sisto
ICDE
2007
IEEE
145views Database» more  ICDE 2007»
15 years 5 months ago
The Rigorous Implementation of a Fair Exchange Protocol for Non-repudiable Web Service Interactions - a case study
The correct implementation of security protocols is a challenging task. To achieve a high degree of confidence in an implementation, as with any software, ideally one requires bot...
Nick Cook, Paul Robinson, Santosh K. Shrivastava
CLEF
2007
Springer
15 years 5 months ago
Priberam's Question Answering System in QA@CLEF 2007
This paper accounts for Priberam's participation in the monolingual question answering (QA) track of CLEF 2007. In previous participations, Priberam’s QA system obtained en...
Carlos Amaral, Adán Cassan, Helena Figueira...
GECCO
2007
Springer
183views Optimization» more  GECCO 2007»
15 years 5 months ago
Search-based testing of service level agreements
The diffusion of service oriented architectures introduces the need for novel testing approaches. On the one side, testing must be able to identify failures in the functionality ...
Massimiliano Di Penta, Gerardo Canfora, Gianpiero ...
HPCC
2007
Springer
15 years 5 months ago
Performance Evaluation of View-Oriented Parallel Programming on Cluster of Computers
Abstract. View-Oriented Parallel Programming(VOPP) is a novel programming style based on Distributed Shared Memory, which is friendly and easy for programmers to use. In this paper...
Haifeng Shang, Jiaqi Zhang, Wenguang Chen, Weimin ...