http://dl.gi.de/handle/20.500.12116/29860 2026-07-23T08:22:00Z 2026-07-23T08:22:00Z Boroday, Sergiy Hallal, Hesham Petrenko, Alexandre Ulrich, Andreas http://dl.gi.de/handle/20.500.12116/29877 2019-11-14T11:18:13Z 2003-01-01T00:00:00Z

Formal modeling of communication traces Boroday, Sergiy; Hallal, Hesham; Petrenko, Alexandre; Ulrich, Andreas Godlevsky, Mikhail; Liddle, Stephen W.; Mayr, Heinrich C. Development of distributed systems is complicated by the absence of reliable global timing, concurrency, and nondeterminism. To deal with these obstacles log files are produced by an instrumented system facilitating analysis, testing, and debugging. This paper presents a formal framework for the analysis of distributed system logs based on event trace concept. A partially ordered trace of events executed by a distributed system is modeled by a collection of communicating automata. We present an implementation of the analysis approach in SDL based on ObjectGEODE. A formalization of a property of an event trace, being a replica of another trace, is discussed.

2003-01-01T00:00:00Z Vladoiu, Mihaela-Monica Matenciuc-Antonescu, Beatrice http://dl.gi.de/handle/20.500.12116/29876 2019-11-14T11:18:13Z 2003-01-01T00:00:00Z

Reflective learning in large companies - can it work? Vladoiu, Mihaela-Monica; Matenciuc-Antonescu, Beatrice Godlevsky, Mikhail; Liddle, Stephen W.; Mayr, Heinrich C. A growing number of universities and companies are now becoming focused on promoting learning that is not merely instrumental. These aspirations refer to deep learning, transformational learning, critical learning, intentional learning, reflective learning and lifelong learning. Our primary goal is to present several ways in which lifelong reflective learning can be effectively and consciously promoted within large companies. The term reflection is used with two meanings. One would be the process by which an experience, in the form of thought, feeling or action is brought into consideration (while is happening or subsequently) and the other the creation of meaning and conceptualization from experience and the potentiality to look at things from another perspective (critical reflection). We propose the following solutions: modular classes, open engagement lectures, online live learning, virtual classrooms, action group learning, immersive e-learning applications, project-based e-learning and any valuable combination of these. As industrial experience shows, integration of these models and methods to create a learning and development program and to incorporate it in the daily working schedule provide a consistent solution for education in the long run.

2003-01-01T00:00:00Z Park, Soon-Young Lee, Jae-Dong Bae, Hae-Young http://dl.gi.de/handle/20.500.12116/29874 2019-11-14T11:18:12Z 2003-01-01T00:00:00Z

Easily accessible GML-based geographic information system for multiple data server over the web Park, Soon-Young; Lee, Jae-Dong; Bae, Hae-Young Godlevsky, Mikhail; Liddle, Stephen W.; Mayr, Heinrich C. This paper has proposed GML-GIS, which is a prototype system for geographic information service over the Web based on GML (Geography Markup Language). This system generates geographic information into GML document by user requests through URL and provides them with various styles applied to the document on the Web browser. This proposed system converts geographic information of a spatial database into GML documents for interoperability of diverse GIS engine. The architecture of this system is composed of User Interface Module, CGI/Script Module, Application Schema Generator, GML Translator, XML Analyzer, and Documents Pool. By the usage of this system, general users can access easily geographic information of multiple data server with different data type by Web browser

2003-01-01T00:00:00Z Panteleeva, Nadejda http://dl.gi.de/handle/20.500.12116/29872 2019-11-14T11:18:12Z 2003-01-01T00:00:00Z

Using neighborhood information for automated categorization of web pages Panteleeva, Nadejda Godlevsky, Mikhail; Liddle, Stephen W.; Mayr, Heinrich C. In this paper we discuss several issues related to the influence of expansion of a Web document representation on quality of topical categorization of Web pages. We consider a Web page expansion by using text content of it's linking pages. We show that naive expansion can grab too much noise and essentially harm categorization results. We present the approach to automated pruning of linking Web pages. We report that using our approach in forming a Web page representation always leads to better results than traditional single Web page categorization.

2003-01-01T00:00:00Z