Culpable
发表于 2025-3-26 23:51:25
Algebraic Semantics of Design Abstractions for Context-Awarenessined by its current position, we explore the use of abstract data types for defining design primitives through which different notions of context can be modelled explicitly according to the application domain.
BOLT
发表于 2025-3-27 03:10:25
http://reply.papertrans.cn/83/8234/823382/823382_32.png
Acetabulum
发表于 2025-3-27 08:42:13
Ontologies for the Semantic Web in ,L DL (or more precisely, the underlying description logic . become available for a sublanguage of .. This is achieved via translations between .-DL and ., formalized as so-called institution comorphisms.
祖先
发表于 2025-3-27 12:03:17
http://reply.papertrans.cn/83/8234/823382/823382_34.png
PATRI
发表于 2025-3-27 16:35:28
http://reply.papertrans.cn/83/8234/823382/823382_35.png
结合
发表于 2025-3-27 19:04:05
Recent Trends in Algebraic Development Techniques978-3-540-31959-7Series ISSN 0302-9743 Series E-ISSN 1611-3349
degradation
发表于 2025-3-28 00:05:19
http://reply.papertrans.cn/83/8234/823382/823382_37.png
allergy
发表于 2025-3-28 05:53:36
Modelling Mobility with Petri Hypernetseen agents, and provide means for a modular and hierarchical description. They are capable of modelling mobile agents tfrahat can dynamically change their hierarchy, and can communicate with each other and with the outside world by exchanging messages, i.e., other mobile agents.
Arboreal
发表于 2025-3-28 09:40:14
http://reply.papertrans.cn/83/8234/823382/823382_39.png
Myosin
发表于 2025-3-28 11:54:57
http://reply.papertrans.cn/83/8234/823382/823382_40.png