Genericity is a topic which is not sufficiently developed in state-based systems modelling, mainly due to a myriad of approaches and behaviour models which lack unification. This paper adopts coalgebra theory to propose a generic notion of a state-based software component, and an associated calculus, by quantifying over behavioural models specified as strong monads. This leads to the pointfree,...

This paper presents a sketch based mesh extrusion method, which is useful for intuitive, efficient geometric modeling of freeform polygonal objects. With our method, the user can extrude either a closed or open surface from the surface or the boundary of a given mesh by sketched input. Thus, compared to earlier methods, our method provides more flexibility for solving surface modeling problems....

expansion of urban area is a well-known phenomenon in developing countries with population growth and the migration from villages to cities being two major factors. those factors reduce the influence of efforts to limit the cities boundaries. thus, spatial planners always look for the models that simulate the expansion of urban land-uses, and enable them to prevent unbalanced expansions of citi...

Building repositories for e-learning is an iterative process and course content and course structure are always changing. We realized the necessity to separate content from structure of a given course during the conception of our first e-learning repository, which we called KBS-Hyperbook, several years ago at our institute. This system has been built around a conceptual model for structure and ...

Mobile Agents represent a crucial part in most agent-based systems. However, very little work has taken place in modelling such systems and, up to now, none of the existing agent oriented methodologies provide concepts and notations to fully capture mobile agents. In this work we are presenting extensions to the Unified Modeling Language (UML) to model mobile agents. We use three different scen...

The development and maintenance of product configuration systems is faced with increasing challenges caused by the growing complexity of the underlying knowledge bases. Effective knowledge acquisition is needed since the product and the corresponding configuration system have to be developed in parallel. In this paper we show how to employ a standard design language (Unified Modeling Language U...

Recently, the transaction-level modeling is widely referred to in system level design literature. However, the transactionlevel models(TLMs) are not well defined and the usages of TLM in the existing design approaches, namely system synthesis, platform-based design, and component-based design, are not systematically developed. In order to efficiently use TLMs in above design approaches, this re...

Concurrent team strategy is widely employed by firms in large projects. This research investigates the design of incentives and the role of collaboration for concurrent teams. Proposing and studying two types of reward policies: individual-based reward (IBR) and group-based reward (GBR), we characterize the structure of incentives, and demonstrate that firms can achieve maximal profits with col...

This document deals with issues arising during acquisition of images for IBR used in the BeNoGo project. We describe the acquisition setup at our disposal and we focus on specific issues for each device as well as general issues of the acquisition process. We describe the main difficulties and we try to characterize an “ideal” scenario which can be acquired with our technology.

This paper discusses methodologies for the specification and analysis of performance related properties of components and assemblies of components, and outlines an original approach, called the CB-SPE. The proposed approach relies on, and adapts to a CB framework, the concepts and steps of the SPE technology and uses for modeling the standard RT-UML profile, reshaped according to the CB princip...