Abstract: Die weite Verbreitung von mobilen Ger¨aten und die Entwicklung von mobilen Kommunikationstechnologien erm¨oglichen den Einsatz solcher Ger¨ate f¨ur Aufgaben, die ¨ub...
Abstract— In this paper, we propose an ontology specification for JavaBean programs, the object component model of Java. Our specification is written using the DAML+OIL languag...
A fundamental task in multi-agent systems is matchmaking, which is to retrieve and classify service descriptions of agents that (best) match a given service request. Several approa...
: Schema mapping techniques for data exchange have become popular and useful tools both in research and industry. A schema mapping relates a source schema with a target schema via ...
Data words and data trees appear in verification and XML processing. The term “data” means that positions of the word, or tree, are decorated with elements of an infinite set...