大都市
发表于 2025-3-23 12:58:43
http://reply.papertrans.cn/24/2318/231795/231795_11.png
有毒
发表于 2025-3-23 15:47:01
Integration of Time Issues into Component-Based Applicationsaradigm to allow independent specification of timing and to integrate time-checking specialized tool support into conventional software design processes. We aim at helping the designer to specify time contracts and at simplifying the introduction of time properties in the component behaviour descrip
摆动
发表于 2025-3-23 19:57:52
Slicing of Component Behavior Specification with Respect to Their Compositionof a component’s architecture (assembly). However, since typically only a part of the components’ functionality is actually used in the new context, a significant part of the behavior specification may be superfluous. As a result, it may be hard to see (and filter out) the actual interplay among the
Matrimony
发表于 2025-3-23 23:30:31
An Execution-Level Component Composition Model Based on Component Testing Informationsuch as reliability, requires evidences about failures in the system. An approach addressing the software reliability estimation problem is based on considering all execution traces collected during the testing process. An execution trace is a sequence of blocks grouping source code statements. Foll
BLANK
发表于 2025-3-24 05:41:34
Capturing Web Services Provider Constraints – An Algorithmic Approachparticular sequence. In such a distributed architecture possibly involving multiple service providers, optimal selection of service implementations from an existing pool of services, based on QoS and cost factors assumes critical practical relevance. In this paper, we analyze various complex service
mortuary
发表于 2025-3-24 06:32:29
Soya: A Programming Model and Runtime Environment for Component Composition Using SSDLhe building block for creating service-oriented applications and provides an extensible range of protocol frameworks that can be used to describe and formally model component composition based on Web Service interactions. Given its novel approach, implementing support for SSDL contracts presents int
allergen
发表于 2025-3-24 13:55:06
Experience with Safe Dynamic Reconfigurations in Component-Based Embedded Systemstions to changes in environmental and operating conditions without service interruption. Dynamic reconfiguration, however, is a complex and error prone process. In this paper we report our experience in implementing safe dynamic reconfigurations in embedded devices with limited resources. Our approa
透明
发表于 2025-3-24 15:21:57
A Framework for Contract-Based Collaborative Verification and Validation of Web Servicesis paper proposed a test-broker architecture so that all stakeholder within WS can contribute to improve the testing of the services. The test broker supports the submission, indexing, and querying of test artifacts such as test cases, defect reports and evaluations. It can also provide the services
fatuity
发表于 2025-3-24 22:36:44
Towards Composing Software Components in Both Design and Deployment Phasesle composition by independent third-parties. However, current component models are biased towards either the design phase or the deployment phase. In this paper, we argue that ideally component models should include both design and deployment phases, and it should be possible to compose components i
平淡而无味
发表于 2025-3-25 00:36:54
http://reply.papertrans.cn/24/2318/231795/231795_20.png