光亮
发表于 2025-3-25 07:06:31
Algebraic Semantics of Design Abstractions for Context-Awarenesseveloping to support architectural design of distributed and mobile system. Under the assumption that the context that a component perceives is determined by its current position, we explore the use of abstract data types for defining design primitives through which different notions of context can
ambivalence
发表于 2025-3-25 09:04:06
CCC – The C, Consistency Checkerlementation of a previously described consistency calculus. Its system architecture combines flexibility with correctness ensured by encapsulation in a type system. CCC offers tactics, tactical combinators, forward and backward proof, and a number of specialised static checkers, as well as a connect
Epidural-Space
发表于 2025-3-25 12:53:51
Ontologies for the Semantic Web in ,L can thus benefit from .’s strong typing discipline and powerful structuring concepts. Vice versa, the automatic decision procedures available for OWL DL (or more precisely, the underlying description logic . become available for a sublanguage of .. This is achieved via translations between .-DL an
易于
发表于 2025-3-25 17:16:15
http://reply.papertrans.cn/83/8234/823382/823382_24.png
modest
发表于 2025-3-25 22:35:04
Behavioural Semantics of Algebraic Specifications in Arbitrary Logical Systemsmplemented exactly but only so that the required system behaviour is achieved. There are two main approaches to the definition of behavioural semantics: the internal one (called behavioural semantics) and external one (called abstractor semantics)..In this paper we present a notion of a behavioural
禁止,切断
发表于 2025-3-26 01:50:38
A Distributed and Mobile Component System Based on the Ambient Calculusresent the notion of component system and define a set of operations of component systems, some of which are used to define an ambient calculus with component systems. Finally we present an example.
FIG
发表于 2025-3-26 06:46:27
Application and Formal Specification of Sorted Term-Position Algebrasm positions as algebra elements and functions that relate term positions. This paper describes possible applications of term-position algebras and investigates their formal specification in existing specification frameworks. In particular, it presents an algebraic specification of term-positions in
fluoroscopy
发表于 2025-3-26 09:24:46
http://reply.papertrans.cn/83/8234/823382/823382_28.png
Abduct
发表于 2025-3-26 15:20:48
Type Class Polymorphism in an Institutional Frameworks) can easily be equipped with a ‘naive’ semantics defined in terms of collections of instances. However, this semantics has the unpleasant property that while model reduction preserves satisfaction of sentences, model expansion generally does not. In other words, unless further measures are taken,
Ganglion
发表于 2025-3-26 18:40:41
http://reply.papertrans.cn/83/8234/823382/823382_30.png