A new field in distributed computing, called Ambient Intelligence, has emerged as a consequence of the increasing availability of wireless devices and the mobile networks they induce. Developing software for mobile ne...
详细信息
the aim of the fourth workshop on object-oriented Architectural Evolution was to discuss into more detail a number of important issues raised during the previous workshop: the relationship between domain analysis and ...
详细信息
this report summarizes the contributions and debates of the 5th International ecoop Workshop on Quantitative Approaches in object-oriented Software Engineering (QAOOSE 2001), which was held in Budapest on 18–19 June,...
详细信息
this report summarises the presentations, discussions, and main results of the ecoop’01 Workshop on object-oriented Business Solutions (WOOBS). It was not a pure scientific meeting, but a mixed gathering where people...
详细信息
At its 11th edition, the PhDOOS workshop has become an established annual meeting of PhD students in object-orientation. the main objective of the workshop is to offer an opportunity for PhD students to meet and share...
详细信息
A general model theory based on institutions is proposed as a formal framework for investigating typed object-oriented, XML and other data models equipped with integrity constraints. A major challenge in developing su...
详细信息
A general model theory based on institutions is proposed as a formal framework for investigating typed object-oriented, XML and other data models equipped with integrity constraints. A major challenge in developing such a unified model theory is in the requirement that it must be able to handle major structural differences between the targeted models as well as the significant differences in the logic bases of their associated constraint languages. A distinctive feature of this model theory is that it is transformation-oriented. It is based on structural transformations within a particular category of models or across different categories with a fundamental requirement that the associated constraints are managed in such a way that the database integrity is preserved. (C) 2002 Elsevier Science B.V. All rights reserved.
作者：
VANHINTUM, JEAREYNOLDS, GJCWI
Department of Interactive Systems P.O. Box 94079 1090 GB Amsterdam the Netherlands E-mail: hansh@cwi.nl reynolds@cwi.nl
the MADE constraint system provides excellent opportunities to introduce constraints in a multimedia application. Multimedia applications are not only a good place to experiment with constraint systems;constraints in ...
详细信息
the MADE constraint system provides excellent opportunities to introduce constraints in a multimedia application. Multimedia applications are not only a good place to experiment with constraint systems;constraints in a multimedia environment are almost indispensable. Due to the overwhelming amount of data and the number of relations between several parts of this data, multimedia applications almost demand the support of a constraint management system. the MADE constraint system combines the objectorientedprogramming paradigm, inherited from the mC++ language, the declarative constraint programming paradigm and the special requirements imposed upon the constraint system by the multimedia environment. Among other things, the MADE constraint system provides parallel satisfaction techniques;several constraints may be solved simultaneously and this satisfaction process is performed in parallel withthe application. this not only reduces the time needed to solve the constraints, it also allows the multimedia application to proceed with its presentation while (beneaththe surface) the constraints are maintained. this not only holds for the parts of the presentation that are not constrained at all, but also for those parts that are. Furthermore, the constraint system is transparent to the multimedia application no special coding or preparation of the objects in the application is necessary. Constraints can be added later to the application without much work. Besides that, it is also possible to add and remove constraints at runtime;objects may be constrained for only a period of the time the application is running.
We propose a novel method for efficient theta-subsumption. Our solution is based on the idea of object context which embody the contextual information in a clause and is given by occurrences of identical objects or ch...
详细信息
ISBN:
(纸本)9783540738466
We propose a novel method for efficient theta-subsumption. Our solution is based on the idea of object context which embody the contextual information in a clause and is given by occurrences of identical objects or chains of such occurrences. Efficient theta-subsumption is crucial for AI planning approaches that rely on lifted first-order reasoning. We incorporate our object context-based method for theta-subsumption within one approach for lifted first-order planning under uncertainty, referred to as LIFT-UP, and compare it with several related techniques.
While many object-oriented languages impose space overhead of only one word per object to support features like virtual method dispatch, Java’s richer functionality has led to implementations that require two or thre...
详细信息
this paper presents ARK, a minimal, XML-based configuration language and framework for our particular problem domain: UNIX System Administration. the language allows the capture of poorly structured configuration data...
详细信息
this paper presents ARK, a minimal, XML-based configuration language and framework for our particular problem domain: UNIX System Administration. the language allows the capture of poorly structured configuration data and code fragments written in various programming languages, while the ARK engine is responsible for interpreting the XML and allowing applications to query data and invoke code fragments. the paper discusses the need for a minimal, simple approach, and provides examples which illustrate the use of the prototype-based model supported by the language. the ARK framework is currently being used to manage several academic and industrial UNIX installations. (C) 2002 Elsevier Science B.V. All rights reserved.
暂无评论