使迷惑
发表于 2025-3-23 11:48:56
A Class-Based Object Calculus of Dynamic Binding: Reduction and Properties,define two example semantic properties that are characteristic for many concurrent programs with low-level bind/unbind operations. Our calculus has a built-in construct . that can be used to implement one of the semantic properties.
Latency
发表于 2025-3-23 16:56:39
Service Composition with Directories,anner. This algorithm is refined in two steps, first to exploit type information, and second to support partial type matches. An evaluation confirms that the algorithms scale well with increasing size of the directory and that the support for partial type matches is essential to achieve a low failure rate.
Digest
发表于 2025-3-23 21:16:27
Modular Design of Man-Machine Interfaces with Larissa,ow that several interfaces can be obtained from the same set of basic components, assembled in various ways. This is the basis of a quite general component-based development method for man-machine interfaces.
晚来的提名
发表于 2025-3-23 22:30:40
http://reply.papertrans.cn/88/8707/870686/870686_14.png
蜈蚣
发表于 2025-3-24 05:51:50
Checking Component Composability,ion concern is still a challenge. The current work addresses the composability of components and their services. A component model (.) is introduced; an associated formalism, simple but expressive is introduced; it describes the services as extended LTSs and their structuring as components. The comp
Certainty
发表于 2025-3-24 10:02:28
http://reply.papertrans.cn/88/8707/870686/870686_16.png
expdient
发表于 2025-3-24 13:04:47
Enforcing Different Contracts in Hierarchical Component-Based Systems,racting system for hierarchical software components, but currently, only executable assertions are supported..In this paper, we describe how TLA, taken as an instance of behavioral sequence-based formalism, was integrated in .. A domain specific language is proposed in order to enable designers to d
遗忘
发表于 2025-3-24 18:24:18
http://reply.papertrans.cn/88/8707/870686/870686_18.png
Urea508
发表于 2025-3-24 20:13:48
http://reply.papertrans.cn/88/8707/870686/870686_19.png
毕业典礼
发表于 2025-3-25 01:13:43
Aspects of Composition in the Reflex AOP Kernel,e composition support provided in Reflex, a versatile kernel for multi-language AOP in Java. The core of Reflex is based on a model of partial reflection whose central abstractions are links: bindings between a (point)cut and an action. Reflex supports the definition of aspect languages through the