Abstract. Composition of heterogeneous software components is required in many domains to build complex systems. However, such compositions raise mismatches between components. Software adaptation aims at generating adaptors to correct mismatches between components to be composed. In this paper, we propose a formal approach based on Petri nets which relies on mapping rules to generate automatic...

This paper presents recent methodological developments aimed at establishing the daily spatiotemporal behaviour of individual people from their activity on social-networking services. Ultimately, the methods will be used to provide supplementary data to a complex agent-based model of urban dynamics. This work will review recent developments in the use of crowd-source data for understanding soci...

In this paper we describe a pilot study of an approach to STEM inquiry learning called Bifocal Modelling (Blikstein, 2010) with a group of high school students studying bacterial growth. Students grew and measured real bacteria, and then collaboratively designed a conceptual agent-based model of bacteria. Observations and student notes suggest that the activity helped students demonstrate their...

CAPTCHA is a simple test that is designed to be easily generated by computers and easily recognized by humams, but difficult for computers to solve. It is now almost a standard security technology. The most widely deployed CAPTCHAs are text-based schemes, but to CAPTCHAs, segmenting the connected and distored characters is still an unsolving problem. In this paper, we proposed a Community Divid...

This paper sketches a framework for the analysis of expectations in an evolutionary microeconomics. The core proposition is that expectations form a network structure, and that the geometry of that network will provide a suitable guide as to the dynamical behaviour of that network. It is a development towards a theory of the computational processes that construct the data set of expectations. T...

This paper is about modeling and verification languages with their pros and cons. Modeling is dynamic part of system development process before realization. The cost and risky situations obligate designer to model system before production and modeling gives designer more flexible and dynamic image of realized system. Formal languages and modeling methods are the ways to model and verify systems...

In this paper we discuss strategies concerning the implementation of an agent-based simulation of complex phenomena. The model we consider accounts for population decomposition and interaction in industrial districts. The approach we follow is twofold: on one hand, we implement progressively more complex models using different approaches (vertical multiple implementations); on the other hand, w...

The use of surveillance systems has grown exponentially during the last decade. Moreover, the agency paradigm has shown to be suitable for the design and development of complex systems such as surveillance systems. They provide autonomy, reactivity, social ability and pro-activeness to carry out surveillance tasks in a semi-automatic way, collaborating with users in a more effective manner. Age...

Situations where individuals have to contribute to joint efforts or share scarce resources are ubiquitous. Yet, without proper mechanisms to ensure cooperation, the evolutionary pressure to maximize individual success tends to create a tragedy of the commons (such as over-fishing or the destruction of our environment). This contribution addresses a number of related puzzles of human behavior wi...