Sciweavers

2165 search results - page 18 / 433
» cases 2005
Sort
View
ICSOC
2005
Springer
14 years 2 months ago
Using Test Cases as Contract to Ensure Service Compliance Across Releases
Web Services are entailing a major shift of perspective in software engineering: software is used and not owned, and operation happens on machines that are out of the user control....
Marcello Bruno, Gerardo Canfora, Massimiliano Di P...
ESORICS
2005
Springer
14 years 2 months ago
Security-Typed Languages for Implementation of Cryptographic Protocols: A Case Study
Security protocols are critical for protecting modern communication infrastructures and are therefore subject to thorough analysis. However practical implementations of these proto...
Aslan Askarov, Andrei Sabelfeld
ITCC
2005
IEEE
14 years 2 months ago
Misuse Case-Based Design and Analysis of Secure Software Architecture
This paper presents an approach to the architectural design and analysis of secure software systems based on the system requirements elicited in the form of use cases and misuse c...
Joshua J. Pauli, Dianxiang Xu
AIIA
2005
Springer
14 years 2 months ago
Towards a General Framework for Substitutional Adaptation in Case-Based Reasoning
Abstract. Adaptation is one of the most problematic steps in the design and development of Case Based Reasoning (CBR) systems, as it may require considerable domain knowledge and i...
Sara Manzoni, Fabio Sartori, Giuseppe Vizzari
ICCBR
2005
Springer
14 years 2 months ago
Transfer in Visual Case-Based Problem Solving
We present a computational model of case-based visual problem solving. The Galatea model and the two experimental participants modeled in it show that 1) visual knowledge is suffic...
Jim Davies, Ashok K. Goel, Nancy J. Nersessian