Titlebook: Recent Trends in Algebraic Development Techniques; 17th International W José Luiz Fiadeiro,Peter D. Mosses,Fernando Orejas Conference proce

Culpable

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

Acetabulum

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.

祖先

PATRI

結(jié)合

Recent Trends in Algebraic Development Techniques978-3-540-31959-7Series ISSN 0302-9743 Series E-ISSN 1611-3349

degradation

allergy

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

Myosin