Sciweavers

2635 search results - page 393 / 527
» Refactoring Process Models in Large Process Repositories
Sort
View
115
Voted
IEICET
2006
114views more  IEICET 2006»
15 years 2 months ago
Synchronization Verification in System-Level Design with ILP Solvers
Concurrency is one of the most important issues in system-level design. Interleaving among parallel processes can cause an extremely large number of different behaviors, making de...
Thanyapat Sakunkonchak, Satoshi Komatsu, Masahiro ...
119
Voted
KAIS
2008
109views more  KAIS 2008»
15 years 2 months ago
Knowledge-empowered automated negotiation system for e-Commerce
This paper focuses on knowledge empowered automated negotiation systems for buyer-centric multi-bilateral multi-attribute e-Procurement. We propose two knowledge empowered models,...
Zhuang Yan, Simon Fong, Meilin Shi
97
Voted
CORR
2010
Springer
130views Education» more  CORR 2010»
15 years 1 months ago
Fractional Repetition Codes for Repair in Distributed Storage Systems
Abstract—We introduce a new class of exact MinimumBandwidth Regenerating (MBR) codes for distributed storage systems, characterized by a low-complexity uncoded repair process tha...
Salim Y. El Rouayheb, Kannan Ramchandran
166
Voted
ICST
2010
IEEE
15 years 1 months ago
Automated and Scalable T-wise Test Case Generation Strategies for Software Product Lines
Abstract—Software Product Lines (SPL) are difficult to validate due to combinatorics induced by variability across their features. This leads to combinatorial explosion of the n...
Gilles Perrouin, Sagar Sen, Jacques Klein, Benoit ...
138
Voted
PAMI
2011
14 years 9 months ago
Facial Deblur Inference Using Subspace Analysis for Recognition of Blurred Faces
— This paper proposes a novel method for recognizing faces degraded by blur using deblurring of facial images. The main issue is how to infer a Point Spread Function (PSF) repres...
Masashi Nishiyama, Abdenour Hadid, Hidenori Takesh...