Sciweavers

2429 search results - page 164 / 486
» Using Aspects to Design a Secure System
Sort
View
CCS
2010
ACM
14 years 4 months ago
Bureaucratic protocols for secure two-party sorting, selection, and permuting
In this paper, we introduce a framework for secure two-party (S2P) computations, which we call bureaucratic computing, and we demonstrate its efficiency by designing practical S2P...
Guan Wang, Tongbo Luo, Michael T. Goodrich, Wenlia...
FLAIRS
2003
13 years 10 months ago
Lessons Learned using CBR for Customer Support
Three CBR systems were created to improve customer support at General Electric Appliances. The first tool helped call takers answer customers’ questions by using a case base of ...
William Cheetham
MMS
2007
13 years 8 months ago
Evaluating a workspace's usefulness for image retrieval
Image searching is a creative process. We have proposed a novel image retrieval system that supports creative search sessions by allowing the user to organise their search results ...
Jana Urban, Joemon M. Jose
RE
2002
Springer
13 years 9 months ago
On the Use of Visualization in Formal Requirements Specification
A limiting factor in the industrial acceptance of formal specifications is their readability, particularly for large, complex engineering systems. We hypothesize that multiple vis...
Nicolas Dulac, Thomas Viguier, Nancy G. Leveson, M...
EDOC
2003
IEEE
14 years 2 months ago
A Systematic Approach to Platform-Independent Design Based on the Service Concept
This paper aims at demonstrating the benefits and importance of the service concept in the model-driven design of distributed applications. A service defines the observable behavi...
João Paulo A. Almeida, Marten van Sinderen,...