Sciweavers

8398 search results - page 1094 / 1680
» Optimal Software Testing
Sort
View
WWW
2010
ACM
16 years 17 days ago
Redundancy detection in service-oriented systems
This paper addresses the problem of identifying redundant data in large-scale service-oriented information systems. Specifically, the paper puts forward an automated method to pi...
Peep Küngas, Marlon Dumas
ACSAC
2003
IEEE
16 years 17 days ago
MLS-PCA: A High Assurance Security Architecture for Future Avionics
1 DOD Joint Vision 2020 (JV2020) is the integrated multi-service planning document for conduct among coalition forces of future warfare. It requires the confluence of a number of k...
Clark Weissman
ICSM
2003
IEEE
16 years 16 days ago
Mining Design Patterns from C++ Source Code
Design patterns are micro architectures that have proved to be reliable, easy-to implement and robust. There is a need in science and industry for recognizing these patterns. We p...
Zsolt Balanyi, Rudolf Ferenc
210
Voted
KBSE
2003
IEEE
16 years 16 days ago
Model-based Verification of Web Service Compositions
In this paper we discuss a model-based approach to verifying web service compositions for web service implementations. This approach provides verification of properties created fr...
Howard Foster, Sebastián Uchitel, Jeff Mage...
IUI
2003
ACM
16 years 15 days ago
A zero-input interface for leveraging group experience in web browsing
The experience of a trusted group of colleagues can help users improve the quality and focus of their browsing and searching activities. How could a system provide such help, when...
Taly Sharon, Henry Lieberman, Ted Selker
« Prev « First page 1094 / 1680 Last » Next »