Sciweavers

5281 search results - page 797 / 1057
» Performance evaluation of software architectures
Sort
View
COR
2010
150views more  COR 2010»
15 years 6 months ago
Black box scatter search for general classes of binary optimization problems
The purpose of this paper is to apply the scatter search methodology to general classes of binary problems. We focus on optimization problems for which the solutions are represent...
Francisco Gortázar, Abraham Duarte, Manuel ...
ECEASST
2008
69views more  ECEASST 2008»
15 years 6 months ago
Verifying Model Transformations by Structural Correspondence
: Model transformations play a significant role in model based software development, and the correctness of the transformation is crucial to the success of the development effort. ...
Anantha Narayanan, Gabor Karsai
CSSE
2006
IEEE
15 years 6 months ago
Experimental analysis of a privacy-preserving scalar product protocol
The recent investigation of privacy-preserving data mining has been motivated by the growing concern about the privacy of individuals when their data is stored, aggregated, and mi...
Zhiqiang Yang, Rebecca N. Wright, Hiranmayee Subra...
RE
2006
Springer
15 years 6 months ago
Identifying Nocuous Ambiguities in Natural Language Requirements
We present a novel technique that automatically alerts authors of requirements to the presence of potentially dangerous ambiguities. We first establish the notion of nocuous ambig...
Francis Chantree, Bashar Nuseibeh, Anne N. De Roec...
SQJ
2008
116views more  SQJ 2008»
15 years 6 months ago
E-commerce system quality assessment using a model based on ISO 9126 and Belief Networks
: As business transitions into the new economy, e-system successful use has become a strategic goal. Especially in business to consumer (e-commerce) applications, users highly eval...
Antonia Stefani, Michalis Nik Xenos