Earlier Research Projects With External Funding

Goals

Further project information.

ABC: Activity Based Computing

Goals

Generally speaking, contemporary computer technology is designed according to an application- and document-centered model. This model enables users to work with specific, targeted applications that support the manipulation of particular kinds of information and performing specific tasks, like writing a letter or making a budget. This model is deeply embedded in the hardware, operating systems and user interface software, as well as the development frameworks available today. It has proven well-suited for office work at a desktop, but the personal and task-oriented approach provides little support for the aggregation of resources and tools required in carrying out higher-level activities. It is left to the user to aggregate such resources and tools in meaningful bundles according to the activity at hand, and manual reconfiguration of this aggregation is often required when multi-tasking between parallel activities. Web: www.activity-based-computing.org

Further project information.

ALCOM-FT: Algorithms and Complexity - Future Technologies

Goals

ALCOM-FT brings together ten of the leading groups in algorithms research in Europe in a project that proposes to discover new algorithmic concepts, identify key algorithmic problems in important applications, and contribute to the accelerated transfer of advanced algorithmic techniques into commercial systems. The main emphasis of the project is on a novel combination of application oriented research in three important areas - massive datasets, massive and complex communication, and complex problems in production and planning - with innovative methodological work on experimental algorithmics and generic algorithmic methods. Further information may be found at http://www.brics.dk/ALCOM-FT

Further project information.

Algorithms for large datasets: Theory and practice

Goals

I dette projekt udarbejdes fundamentale algoritmer og datastrukturer, der effektivt udnytter moderne hierarkisk hukommelse. Der fokuseres specielt på massive datasæt (større end den interne hukommelse), hvor flytning af data mellem ekstern og intern hukommelse (”I/O”) ofte er effektivitetsbestemmende, og på problemer der forekommer i systemer for manipulation af geografisk baserede data. Der lægges vægt på både udvikling af teoretisk effektive algoritmer og datastrukturer og på praktisk implementationsarbejde. Web: http://www.daimi.au.dk/~large

Further project information.

AMAP: Tools for Fine-Scale and Whole-Genome Association Mapping

Goals

This project is concerned with development of computation methods and computer tools for locating disease genes. The amount of data and the complexity of the problems make computer tools essential for successful studies. With the recent improvements in genotyping technology that now allow simultaneous genotyping of hundreds of thousands of polymorphisms, the analysis of data is becoming the bottleneck of studies, and hence it is increasingly important to develop better and faster analysis methods.

Further project information.

APPSEM-II: Working group on Applied Semantics

Goals

Further project information.

ASCoVeCo: Advanced State Space methods and Computer tools for Verification of Communication Protocols

Goals

The increasing use of laptops, handheld computers, mobile phones and the Internet means that data communication directly and indirectly plays a significant role in the everyday life of most people. Communication protocols are the key building blocks that make data communication possible since they define the components, rules, and languages that enable data communication. As a consequence, it is of vital importance that the protocols work as intended, e.g., that they do not contain errors that can result in system malfunctions and crashes. The project is concerned with model-based verification of communication protocols using state space methods. The basic idea underlying state space methods is to compute all reachable states and state changes of the protocol and to represent these as a directed graph where the nodes represent states and arcs represent occurring events. State spaces can be constructed fully automatically and from a constructed state space it is possible to answer a large set of verification questions concerning the behavior of a protocol using model checking techniques. The project has the following four main research objectives and is expected to contribute to the increased application of formal models and verification for the development of protocols: Development of new state space methods for computer-aided reasoning about protocols. Development of advanced algorithms and data-structures providing the foundation for making space and time efficient implementations of state space methods in computer tools. Implementation of prototypes of computer tools supporting the developed state space methods, and determining how the developed state space methods are most efficiently implemented in practice. Industrial case studies evaluating the developed state space methods and supporting state space tool prototypes in practice on protocols. Web: www.daimi.au.dk/~ascoveco

Further project information.

Beacon

Goals

The main objective of this project is to conduct a socio-economic impact assessment of broadband access and use in the context of electronic services and related issues in the networked, knowledge based economy. http://www.ovum.co.uk/beacon/

Further project information.

BETA.Eclipse - Integrating the BETA Language with the Eclipse Software Development Environment

Goals

The purpose of the project is to integrate the BETA language with the Eclipse environment. Eclipse is a generic software development environment developed by Object Technology International. For information about Eclipse, see http://www.eclipse.org

Further project information.

BETA.NET - Porting the BETA Language to the .NET-platform

Goals

The purpose of the project is to port the Beta language to Microsoft's .NET-platform.

Further project information.

BiRC: Center for Bioinformatics

Goals

Further project information.

BITEL Project - Usable ICT for teachers and students

Goals

This research project started in 2000 and will finish in 2003. The project addresses

• user centred design with children and teachers
• usability methods to evaluate interactive media in relation to education and learning, e.g. is it possible to develop empirical methods that map out people's development of qualifications and skills?

The result: Better ICT to support the education of children, young people and adults. Further information: http://www.bitel.dk

Further project information.

BoolCirc: Computational Complexity Theory, Boolean Functions and Circuits

Goals

The purpose of the project is to perform fundamental research in computational complexity theory. The basis of this research will be the theory of Boolean circuits and Boolean functions. One particular aspect that will be studied is the computational power of constant depth circuits. The study of Boolean functions and their representations has proven to have an almost universal applicability within complexity theory. A central part of the project is to use the theory of representations of Boolean functions as a stepping stone to research frontiers of a broader range of subareas of complexity theory.

Further project information.

CHMI: Centre for Human-Machine Interaction

Goals

The purpose of the centre is to strengthen the academic quality of Danish Human-Machine research and to enhance the integration of approaches in this interdisciplinary research field. This is necessary in order to improve the quality and innovation of design of human machine interaction and interfaces for modern work places, which is enabled and required by the new technologies. The activities will be concentrated on three topics

• development of a comprehensive, interdisciplinary framework and an integrated methodology that encompass relevant theories and models as well as the quantitative and qualitative empirical data from field studies and laboratory experiments,
• analysis and design of cooperative and distributed use of common information spaces in dynamic industrial manufacturing work,
• design of a new generic class of "elastic" interfaces for support of manoeuvring ships and training the staff in maritime operations.
Further information is available on http://www.chmi.dk
Further project information.

DAIMI Responsible

Susanne Bødker

External partners

Danfoss A/S, Danish Maritime Institute, Risø National Laboratory, Department of Automation and Department of Control and Engineering Design at Technical University of Denmark, Department of Information & Media Sciences at University of Aarhus

Financed by

Danish National Research Foundation (Grundforskningsfonden)

Grant for DAIMI activities

1998-2002: 950.000 DKK per year

edit

CONVIVIO

Goals

Not Yet

Further project information.

CPN: Center for modellering and analysis of distributed systems

Goals

Further project information.

DMM: Distributed Multimedia Technologies and Applications (part of Centre for Multimedia)

Goals

The Centre for Multimedia is organised in two projects of equal sizes: Distributed Multimedia Technologies and Applications (DMM) and Staging of virtual 3D spaces (STAGING). DAIMI manages the DMM project addressing central research issues in supporting collaboration within and between organisations by means of distributed multimedia technology. This includes both collaboration on intranets and inter-organisational collaboration and commerce transactions. Internet (and intranet) technologies, virtual reality, and tele-conferencing are important enabling technologies. The project will focus on their usage in three different domains: Network Organisations, Electronic Commerce, and Distributed Education. The project brings together cross disciplinary competences to enhance the state of the art of both distributed multimedia technologies themselves and our understanding of their use in organisations and the society as a whole. Further information can be obtained at http://www.intermedia.au.dk/dmm

Further project information.

E-LOCUS Cluster

Goals

The E-locus cluster is a cluster activity aiming to group IST projects presently working in the area of workspace design. E-locus cluster intends, from a larger integration of the individual point of view, to interchange information and forge links between R&D teams working already in the workspace design field all around Europe. Further information may be obtained at: http://e-locus.fundaciontekniker.com Further project information.

ECRYPT I - Network of Excellence in Cryptology I

Goals

ECRYPT - European Network of Excellence for Cryptology is a 4-year network of excellence funded within the Information Societies Technology (IST) Programme of the European Commission's Sixth Framework Programme (FP6) under contract number IST-2002-507932. It falls under the action line Towards a global dependability and security framework. ECRYPT was launched on February 1st, 2004. Its objective is to intensify the collaboration of European researchers in information security, and more in particular in cryptology and digital watermarking. Web: http://www.ecrypt.eu.org/

Further project information.

eu-DOMAIN - enabling users for Distance-working & Organizational Mobility using Ambient Intelligence service Networks.

Goals

eu-DOMAIN is an EU STREP project which researches and develops an ambient intelligence service platform for automatic and context sensitive offering and contracting of mobile web services across heterogeneous networks. Further information may be found at http://www.eu-domain.eu.com

Further project information.

EVALIFE: Complex systems - The mutual interaction between life sciences and information technology

Goals

The successive objectives of this project are: (i) to investigate self-organisation and robustness in biological systems, (ii) to identify structural similarities in complex systems, and (iii) to design novel biologically inspired computing techniques. Our main modelling method will be the object-oriented design of adaptive multiagent systems in order to create system complexity as an emergent property of iterated interactions between entities and their environment. Four main research projects will be carried out in this study, which will be focused on self-organisation in agent behaviour (Cycliophora and African elephants), task allocation and cooperation (social insects), and robustness of complex agent systems (genetics of fruit flies). Further information can be obtained at http://www.evalife.dk

Further project information.

Everyday Special

Goals

På sigt skal der udvikles en prototype, der demonstrerer, at hjemmet er et sted, hvor man er social og legende. ”Energi-spillet” er et eksempel: At overvåge energiforbruget i hjemmet er en ret kedelig aktivitet. Hvad hvis man nu udviklede en teknologi, der kan gøre energiforbrug og –overvågning til en konkurrence mellem medlemmerne i familien. Hvem bruger mest energi? Hvem forbrænder mest energi? På den måde udnytter man det legende og sociale aspekt, som fritiden i høj grad handler om.

Further project information.

FICS, fundations in cryptografi and datasecurity.

Goals

At bedrive grundforskning inden for områderne: basale metoder til kryptering og autentificering, kryptologiske protokoller, og metoder til opnåelse af ubetinget sikkerhed. Web: http://fics.mat.dtu.dk

Further project information.

FICS: Foundations in Cryptography and Security

Goals

The goal is to provide a better basis for understanding and proving security of basic cryptographic algorithms, to design and analyze new multiparty cryptographic protocols, and to study the cryptographic potential in using new communication technologies, such as quantum and noisy channels.

Further project information.

Flex.dk

Goals

Develop and implement flexible, netsupported education of high quality in Denmark. Researchers and educators from the IT West's four institutions have worked in cross-project groups on developing education, concepts of technology application, didactic thinking etc.

Further project information.

FOMO: Formal Models for Computing Systems

Goals

Formal models are a universal tool in all natural sciences. In Computer Science, formal models of computing systems form an essential bridge between theoretical studies and practical applications, similarly to the way Newtonian mechanics provided a formal underpinning for engineering. We interpret computing systems in a wide context: individual programs, frameworks of related programs, programs executing concurrently on mobile, heterogeneous platforms, and entire infrastructures such as the World Wide Web. In each case, the formal model serves a dual purpose: 1) abstracting away unwanted or unmanageable information, and 2) bringing the object of study closer to an established theoretical foundation. Formal models have a descriptive value in themselves, but our interests go beyond this level. We seek to exploit the constructed models to 1) analyze properties of the system, such as its (partial) correctness or its use of resources, and 2) generate applications such as efficient implementations or systematic transformations. There is a range of etablished theoretical and mathematical foundations for such models, of which well-known examples are 1) calculi, 2) operational semantics, 3) domain models, 4) bounded lattices, and 5) logical theories. When faced with a novel computing system to be studied or when focusing on a new property or application, the various kinds of models offer different advantages and usually a synthesis process will produce a tailored hybrid model. Often, the work on concrete models will fold back on the theoretical foundations to suggest variations of the basic formalisms for models.

Further project information.

HYDRA -

Goals

Despite their well-known advantages, traditional engineering methods are inflexible and unreliable when compared to biological organisms. The experts behind the HYDRA project, therefore, are contemplating a novel architecture for the development of artefacts inspired by cell-biology and based on simple building blocks. The potential of the new design standard will be exemplified through the construction of robotic systems that can change morphology, and result in flexible, robust and applicable artefacts far beyond any known conventional engineering perspective. Further information can be obtained at http://hydra.mip.sdu.dk

Further project information.

ISIS Katrinebjerg - Centre of Excellence for: Interactive Spaces, Health Care IT and Software

Goals

Interactive Spaces InteractiveSpaces apply a variety of Particiaptory Design methods in order to involve prospective users and partners in the design of new interactive environments. Participatory design helps to create more relevant solutions for users and it reduces the number of early design mistakes through working with concretized design visions such as video-prototypes, mock-ups, prototypes and scenarios. Pervasive Healthcare The main idea is to get the computing power further out into the system. From the secretary to the physician and the nurse and from bookkeeping to direct involvement in the treatment. The computing power is integrated in the everyday life of patient and medical staff, so to speak. The PC as an independent tool will be sent on the retreat, whereas the computing power will continue to exist and serve our purposes as a network embedded in furniture, walls, hospital beds and bandages, among other things. Research and development in this area is conducted by Centre for Pervasive Healthcare: www.pervasivehealthcare.dk Software Under the auspices of ISIS a series of projects of software development will be commenced under the auspices of the competence centre with participation of the public and the private sectors. These projects will cover a wide field and will contribute to further competence building in the field of software development both in the corporate sector and at the universities. Among other things, the projects will work with software architecture, data structures, object technology in appliances, software for pervasive computing systems and safety critical systems. Research and development in this area is conducted by Object-Oriented Software Systems Research Group: www.ooss.dk Web: www.isis.alexandra.dk, www.interactivespaces.net, www.pervasivehealthcare.dk, www.ooss.dk

Further project information.

iSPORT: Interaktivitet til sportsomgivelser

Goals

The project explores how pervasive computing technologies can enhance sport experiences for both amateur, elite and the audience. The research focus of the project is Kinaesthetic Interaction, pervasive mobile games and lightweight software components configured by the position and and connection of physical tools for sports.

Further project information.

IXP: Interaktive oplevelsesrum

Goals

Formålet er at udnytte pervasive computing teknologier til at skabe nye former for interaktive oplevelser i museer og attraktioner. Der skal bl.a. arbejdes med aktive billetter og rum, der formidler fælles oplevelser afhængig af sammensætningen af den gruppe besøgende, der er i rummet. Der skal også arbejdes med bevægelsesbaserede grænseflader, som kan gøre de besøgende til aktive deltagere i de historier, konkurrencer og spil, der benyttes i formidlingen. Interaktionsteknikkerne skal øge museumsgæsternes udbytte af museumsbesøget og give dem en større oplevelse, der også kan starte på nettet før besøget og fortsættes på nettet efter besøget. Den aktive billet kan således konfigureres på nettet før besøget, og digitale souvenirs samt resultater fra diverse spil og konkurrencer vil være tilgængelige på nettet efter besøget.

Further project information.

MDSU: Modeldrevet Systemudvikling

Goals

Aktiviteterne i Center for Modeldrevet Systemudvikling sigter mod at stille værktøjer i form af modeller til rådighed. Det overordnede formål er at reducere risici og uklarheder i systemudviklingsprojekter så tidligt som muligt. Enighed mellem kunde og leverandør om kravene til et system eller overblik over konsekvenserne af et overordnet teknisk designforslag er eksempler på forhold, der kræver tidlig afklaring. Kilderne til misforståelser og uklarheder er mange, og systemudviklere bør være forsynet med effektive værktøjer til at reducere eller eliminere dem. Mere konkret er der et stort potentiale i anvendelse af eksekverbare, dynamiske modeller, der vil tillade tidlig afprøvning af en ide og analyse af dens konsekvenser, inden ideen senere i et projekt er realiseret som i et kørende it-system, uden at man på det rigtige tidspunkt har været i stand til at afgøre, om ideen var god eller mindre god. Web: www.komialt.dk/nyhedsbrev/to/oktober02/mobcomp.html

Further project information.

Mobile Ad Hoc Netværk

Goals

Formålet med projektet er at udvikle matematisk baserede modeller og analysemetoder som kan bruges til at håndtere kompleksiteteni forbindelse med udvikling af protokoller for mobile ad-hoc netværk. Ideen er at disse matematisk baserede modeller (kaldet formelle specifikationer) kan manipuleres, udføres og analyseres ved hjælp af computer-værktøjer. Dette gør det muligt at checke korrektheden af protokollerne, dvs. verificere at de ikke indeholder eksempelvis baglåse, som kan resultere i at systemet går ned. Tilsvarende er det muligt ved hjælp af modeller at evaluere kapaciteten af protokollerne og sammenligne design alternativer.

Further project information.

Mosart: Music Orchestration Systems in Algorithmic Research and Technology

Goals

Musical informatics and sound and music computing underlies the enormous market for sound and music machines. The Mosart network aims to contribute both to the computational description, analysis and synthesis of music and to the technological transfer of musical informatics from academia to industry. Further information can be obtained at http://www.diku.dk/research-groups/musinf/mosart/

Further project information.

MOSIF: Modeller og teknikker til sikre flerpartsberegninger

Goals

”Alt hvad der kan gøres på internettet kan også gøres sikkert på internettet!” Sådan lyder en af hovedkonklusionerne fra forskningen i kryptologisk protokolteori. For eksempel kan beregningen af et vilkårligt resultat som involverer inputs fra flere parter udføres på en sådan måde at ingen parter lærer andet end resultatet og deres eget input. Dette opmuntrende resultat blev bevist i 1980'erne, med forskere fra datalogisk institut ved Århus universitet som helt centrale bidragsydere. Resultatet gav desværre ikke umiddelbart udslag i praktisk anvendelige værktøjer, da de var af en meget teoretisk natur. Bevillingshaver har dog i de seneste år være med til at publicere en række resultater som indikerede at 1980'ernes teori kunne blive fremtidens praksis, og et af dette projektets hovedmål er at bidrage til at udvikle protokolteorien til et punkt hvor den bidrager med praktiske værktøjer. Det ultimative mål for projektets forskning er at bidrage til at udvikle sikre protokolkompilere som tager en beskrivelse af en ønsket flerpartsberegning og leverer en protokol som sikkert udfører den beskrevne beregning. Sikre protokolkompilere ville dramatisk reducerer omkostningerne forbundet med at udvikle sikre protokoller. I dag er udviklingen af sikre protokoller for ikke-trivielle problemer en tidskrævende opgave som kræver programmører med et indgående kendskab til protokolteori. At opfylde dette mål vil kræve en udvikling af både nye teknikker og nye modeller. De kryptografiske værktøjer, som er sikre i modeller der garanterer fuld sikkerhed i komplekse miljøer som for eksempel internettet er typisk meget ineffektive, og de protokoller og teknikker som bruges i praksis kan ofte ikke bevises sikre i tilfredsstillende sikkerhedsmodeller.

Further project information.

New Ways of Working

Goals

Further project information.

PalCom - Palpable Computing - A new perspective on IT in everything

Goals

Further project information.

Proof Mining: A Logical Approach to Computational Mathematics

Goals

The purpose of the project is to further develop and apply logic-based methods to transform ineffective solutions to problems in areas of computationally relevant mathematics into effective ones with explicit bounds on their computational complexity. This is of particular significance in the area of analysis where the use of noncomputable objects is ubiquitous. The project will

• help to establish logical transformations as a general tool to extract computational data from ineffective arguments in mathematics
• carry out case studies in the areas of metric fixed point theory, ergodic theory and partial differential equations.

Further project information.

PROSECCO: Protocols for Secure Computation

Goals

Distributed secure quantum computations and quantum communication are likely to be among the first applications of quantum technology. Secure computations allow to distributedly compute the value of a function which depends on (possibly secret) inputs of the participants and ensure the correctness of the result. Typical applications are authentication, identification, online elections, online auctions, and more generally secure computation. The project aims at developing new distributed quantum applications based on small scale quantum computations, clarifying the underlying assumptions, developing methods for the construction of distributed secure computations from primitives, and investigating the practicability of such protocols.

Further project information.

QUSEP, QUantum protocols for SEcure computation in Practice

Goals

The project aims at provividing secure data processing based on quantum cryptography in new scenarios going beyond simple private data transmission. This will provide new security solutions with much better security than what known technology can provide. Below, we first set the stage before providing a quick overview of the scientific content of the project. Web: www.daimi.au.dk/~salvail/qusep.html

Further project information.

SA@Work

Goals

The purpose of this project is two-fold. A primary goal is to investigate, classify, and report on current software architecture practices in Danish industry. A secondary goal is to improve software and system architecture practices where applicable by means of experimental software architecture techniques. Motivation: The Danish software industry is facing development projects of ever larger complexity. “Software architecture” has emerged as an essential concept when developing such complex software systems. In particular, software architecture has helped bring about a focus on quality early in software development. However, little is known about what architects actually do, how this fits into other processes in companies, and about which architectural techniques are used in practice, and how effective they are. Web: www.ooss.dk/projects/sawork-software-architects-at-work/

Further project information.

SCET, Secure Computing, Economy and Trust

Goals

Further project information.

SECOQC: Development of a Global Network for Secure Communication based on Quantum Cryptography

Goals

The vision of SECOQC is to provide European citizens, companies and institutions with a tool that allows facing the threats of future interception technologies, thus creating significant advantages for European economy. With SECOQC the basis will be laid for a long-range high security communication network that combines the entirely novel technology of quantum key distribution with components of classical computer science and cryptography. The project SECOQC aims at evolving quantum cryptography into an instrument that can be operated in an economic environment. The scientific and technological work carried out during the last decade has created a stable foundation for the realisation of the project but there are still essential tasks to be carried out and research issues to be solved. Web: http://www.secoqc.net/

Further project information.

SECURE - Secure Environments for Collaborating among Ubiquitous Roaming Entities

Goals

The goal of SECURE is the definition of a computational trust model allowing entities to reason about the trustworthiness of other entities for use in security related decisions; the definition of a collaboration model capturing the issues of trust formation, trust evolution, trust propagation and trust exploration; the definition of means to specify and to enforce security policies based on trust ; the definition of means to evaluate security policies and implementations based on trust; the development of a framework encompassing algorithms for trust management; the validation of the approach in the context of a formal model. Further information: http://secure.dsg.cs.tcd.ie

Further project information.

SIMAP: Secure Information Management and Processing

Goals

The purpose of SIMAP is to give general and practical solutions to the fundamental problem of combining privacy and information processing. This includes a close cooperaion between 3 fields of research: 1) Cryptology that provides the technical foundation; 2) Information economics which can abstractly describe and analyse the applications; and 3) programming languages which ties together cryptology and economics by making it easier to use cryptographic solutions in realizing the described applications. Web: http://www.sikkerhed.alexandra.dk/uk/projects/simap.htm

Further project information.

Skanderborg - Danmarks smukkeste festival system

Goals

GPS-telefoner placeret på sikkerhedspersonale og atten kameraer rundt om på festivalpladsen. Det var udgangspunktet for de første eksperimenter med overblikssystemet, som skulle øge sikkerheden for publikum og forbedre koordinering af beredskabsindsatsen på årets Skanderborg Festival. Fakta: DSFS-projektet løber fra 1. juni 2008 til 31. september 2009. Projektet har et budget på 5,1 mio. kr. og finansieres med 2,1 mio. kr. fra ISIS, 1,4 mio. kr. fra Datalogisk Institut og 1,6 mio. kr. fra DSF, Polycom, Sølund og 43D. See more: http://www.alexandra.dk/nyhedsbrev/september08/skanderborg.htm

Further project information.

Ubiquitous User Interface Design

Goals

We aim to develop a framework for ubiquitous user interfaces based in the most recent theoretical and technological developments; a set of exemplary re-design to explore and illustrate the theoretical findings, and, practically, a set of design guidelines targeted at user interface designers. We have a very rich body of examples to work with arising from technical projects that are busy accommodating for the needs of the particular empirical situations. A solid foundation must be build through a systematic analysis of these ubiquitous computing environments, crystallised into design paradigms for interface design and technical networks, and provide a sound conceptual basis for understanding ubiquitous interaction. See daimi.au.dk/uuid

Further project information.

Vinture (Tower) - Visual Interaction in Wind-turbine Repair

Goals

The Vinture project is about developing a suit of technologies called VirtualTech. The primary research content of the project is the development of the physical equipment, software functionalities, and communication services in order to realize VirtualTech. VirtualTech enables collaborators across geographical distances to * communicate about (potential) difficulties * collaborate via shared material * share situational awareness * look ‘behind the scenes’ * virtually animate complex or potentially dangerous parts * and share precise blends of physical reality and digital information

Further project information.

VJ - Variance in Java

Goals

The upcoming version of the Java programming language (tm) will include a so-called genericity mechanism, which allows data structures to be parameterised by types. The project is concerned with the implementation of an extension to this language feature with so-called variance based typing. This mechanism allows for an increase of programming flexibility, and addresses many recurring problems of programming. It does, however, present interesting implementation challenges, which have not previously been faced in the context of a full-scale industrial programming language.

Further project information.

WorkSPACE: Distributed Work support through component based SPAtial Computing Environments

Goals

The disappearing computer is about moving from traditional screen and keyboard interfaces into pervasive computing where the users' interface to computing becomes a variety of appliances and devices. The objective of the WorkSPACE project is to develop software components and hardware artefacts that may be combined and integrated into various kinds of augmented reality work places, environments, and fields. The WorkSPACE components will enable support for a diversity of work situations ranging from individual work, through local collaboration, to distributed collaboration. We call such augmented work environments for Spatial Computing Environments. The work will focus on development of three demonstrators: 1) Spatial Computing in the Distributed Project Room; 2) Object Centred Spatial Computing; and 3) Spatial Computing Artefacts in the Field. Further information may be obtained at: http://www.daimi.au.dk/Workspace

Further project information.