Separation of concerns is a key goal in achieving software reusability. Meta-Level Programming approaches pave the way to separation of concerns by handling functional and non-functional aspects in different levels, but provide little help for software composition, verification and evolution

ATheory.com?" The frustrated question was not new to us but underlined the need to reflect again what theory is, why it is important, and how it can be used in leisure research. Ellis (1993) called parks, recreation, and therapeutic recreation research a developing social science. Three approaches to studying social behavior

structure – this is what we refer to as dynamism. Reflection and dynamism enable aformofprogramming called metaprogramming: writingprograms that reason about and modify the behavior of themselves and/or other programs. Previous Work: The most successful attempt at adding a high degree of reflection

an extension of these strategies to other areas and the means to separate them from application programs using meta-object programming in Object-Oriented Programming Languages (OOPL). Keywords: Distributed problem solving, cooperative search, selforganization, computational reflection 1. Introduction

on advanced type-theoretic machinery that is not easily integrated into established theorem provers. We present Mtac, a lightweight but powerful extension to Coq that supports dependently typed tactic programming. Mtac tactics have access to all the features of ordinary Coq programming, as well as a new set

The principle aim of this dissertation is to investigate the philosophical application of quantum information theory to interpretational issues regarding the theory of quantum mechanics. Recently, quantum information theory has emerged as a potential source for such an interpretation. The main

This thesis presents CraneTracker, a multi-modal sensing and communication system for monitoring migratory species at the continental level. By exploiting the robust and extensive cellular infrastructure across the continent, traditional mobile wireless sensor networks can be extended to enable

Abstract. Educational robotics laboratories typically involve building and programming robotic systems to perform particular tasks or solve problems. In this paper we explore the potential educational value of a form of robot-supported educational activity that has been little discussed

Abstract Basic ideas of rough set theory were proposed by Zdzis law Pawlak [85, 86] in the early 1980’s. In the ensuing years, we have witnessed a systematic, world–wide growth of interest in rough sets and their applications. The main goal of rough set analysis is induction of approximations

in these networks, and (3) the extremely limited computational and energy resources available. Until now, the burden of handling these issues was put on the software application developer. This dissertation presents three novel programming models and middleware systems that address these challenges: Limone, Agilla