Abstract

Abstract

Abstract
This paper presents a comparative analysis between a set of virtual worlds in order to facilitate the process of selecting a virtual world to serve as a platform for application development. Based on exhaustive research in the area, we selected a set of criteria, based on the work of Mannien in 2004 and Robbins in 2009. After this identification we applied the Quantitative Evaluation Framework (QEF) developed by Squire in 2007 with the aim of assessing quantitatively the platforms under consideration. The results showed that Second Life, OpenSim and Active Worlds are platforms that offer more services and tools for developing applications with quality. © 2011 AISTI.

Abstract
An Adaptive Object Model (AOM) is a common architectural style for systems in which classes, attributes, relationships and behaviors of applications are represented as metadata, allowing them to be changed at runtime not only by programmers, but also by end users. Frequently, behavior is added to AOM systems by increasingly adding expressiveness to the model. However, this approach can result in a full blown programming language, which is not desirable. This pattern describes a solution for adding behavior to AOM systems by using metadata to identify points in the application where behavior can be dynamically added. This solution may limit the expressive power of the model, but can also simplify it, since points of extension are well defined in the system. © Copyright 2011 Carnegie Mellon University.

Abstract

Abstract
In this paper we present a computer assisted proof of the correctness of a partial derivative automata construction from a regular expression within the Coq proof assistant. Tins proof is part of a formalization of Kleene algebra and regular languages in Coq towards their usage in program certification.