Sciweavers

5228 search results - page 418 / 1046
» Case Studies for Software Engineers
Sort
View
COMPSAC
2011
IEEE
14 years 7 months ago
L1 - An Intermediate Language for Mixed-Protocol Secure Computation
—Secure Computation (SC) enables secure distributed computation of arbitrary functions of private inputs. It has many useful applications, e.g. benchmarking or auctions. Several ...
Axel Schröpfer, Florian Kerschbaum, Guenter M...
ICSE
2012
IEEE-ACM
13 years 10 months ago
Predicting performance via automated feature-interaction detection
Abstract—Customizable programs and program families provide user-selectable features to allow users to tailor a program to an application scenario. Knowing in advance which featu...
Norbert Siegmund, Sergiy S. Kolesnikov, Christian ...
ICSE
2012
IEEE-ACM
13 years 10 months ago
Synthesizing API usage examples
Abstract—Key program interfaces are sometimes documented with usage examples: concrete code snippets that characterize common use cases for a particular data type. While such doc...
Raymond P. L. Buse, Westley Weimer
SEKE
2005
Springer
16 years 1 months ago
An Ontology-Supported Case-Based Reasoning Technique for FAQ Proxy Service
This paper discusses how ontology helps case-based reasoning to provide better FAQ services. The proposed CBR technique works as a FAQ proxy service between the users and the back...
Sheng-Yuan Yang, Pen-Chin Liao, Cheng-Seen Ho
FSTTCS
2004
Springer
15 years 11 months ago
Refinement and Separation Contexts
A separation context is a client program which does not dereference internals of a module with which it interacts. We use certain "precise" relations to unambiguously des...
Ivana Mijajlovic, Noah Torp-Smith, Peter W. O'Hear...