2021 search results - page 41 / 405 » COCO: Composition Model and Composition Model Implementation |
104
click to vote
FASE
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. We present a novel algorithm for interface generation of software components. Given a component, our algorithm uses learning techniques to compute a permissive interface ...
127
click to vote
WECWIS
2005
IEEE
15 years 7 months ago
2005
IEEE
Semantic Web Services facilitate activities including automatic discovery and composition of Web Services. Research initiatives such as WSMO have been developing specifications fo...
ICALP
2010
Springer
15 years 6 months ago
2010
Springer
We give a quantitative sequential model for noninterference security with probability (but not demonic choice), and a novel refinement order that we prove to be the greatest compo...
122
click to vote
WORDS
2005
IEEE
15 years 7 months ago
2005
IEEE
Major computer companies and government agencies are adopting Web Services (WS) technology. Web services must ensure interoperability and security, and be reliable and trustworthy...
145
click to vote
MBEES
2008
15 years 3 months ago
2008
: In this paper, we discuss adjustable coverage criteria and their combinations in model-based testing. We formalize coverage criteria and specify test goals using OCL. Then, we pr...