Recent implementation languages such as AspectJ and HyperJ allow systems to be decomposed into declaratively complete units. These units are projections of the system, which are partial implementations of the entire system where each program element such as a data structure or procedure may be partially defined in more than one projection. In contrast, traditional languages rely on units that a...

“One precedent creates another and they soon accumulate constitute law. What yesterday was a fact, today is doctrine.”JuniusFrom time immemorial it has been observed that with the development of people, law evolved to maintain peace order in society. It where considered be superlative, anticipation debate about supremacy formulating body never ending. Thinkers scholars from have promoting diffe...

This thesis investigates one of the fundamental problems for Ubiquitous Computing: managing metadata to enable resource discovery. This work presents a flexible and general model of metadata, and proposes to use ontologies as a formal language for the metadata of a Ubiquitous Computing Environment. Ontologies provide a common language for metadata among diverse and autonomous entities and space...

This paper describes the work of a multi-disciplinary team developing the visual interface of an interactive, freely navigable 3D world. The focus is on working methods: searching for visual examples, sketching, formulating design principles, prototyping, testing and developing guidelines for scene composition. Practices of aligning multiple voices, the different roles of architect, 3D designer...

We describe a language which can be used to model business processes (both technical and nontechnical). It has a formal semantics, so as to enable formal analysis and prediction on the basis of the models, and i s based on principles of measurement theory, so as to enable the application of engineering and scientific principles to metricate the business processes. The language models products a...

Thoughts are spatio-temporal patterns of coalitions of firing neurons and their interconnections. Neural algebras represent these patterns as formal algebraic objects, and a suitable composition operation reflects their interaction. Thus, a neural algebra is associated with any neural net. The present paper presents this formalization and develops the basic algebraic tools for formulating and s...

The use of higher-order abstract syntax is an important approach for the representation of binding constructs in encodings of languages and logics in a logical framework. Formal meta-reasoning about such object languages is a particular challenge. We present a mechanism for such reasoning, formalized in Coq, inspired by the Hybrid tool in Isabelle. At the base level, we define a de Bruijn repre...