*
Quick Links|Home|Worldwide
Microsoft*
Search for


University Relations
Microsoft Research Academic Days in Dublin

Country House, CityWest Conference & Golf Resort, Saggart, Dublin, Ireland, 13-16 April 2004

This event was a good opportunity to learn about different aspects of the Microsoft .NET framework and future technologies and to meet other Academics as well as people from Microsoft Research. Speakers included people from Microsoft Research, Microsoft Corporation and Researchers who are working with Microsoft technologies.

Details about the presentations and slides

Machine learning research at Microsoft Research Cambridge
Christopher Bishop, Microsoft Research
[Download the presentation or the videos]

Biography: Christopher Bishop obtained a B.A. in Physics with First Class Honours from Oxford in 1980, and a PhD in Theoretical Physics from the University of Edinburgh in 1983 with a thesis on quantum field theory under the supervision of David Wallace and Peter Higgs. He then joined Culham Laboratory where he worked on the theory of magnetically confined plasmas as part of the European controlled fusion programme.

He subsequently developed an interest in pattern recognition, and became Head of the Applied Neurocomputing Centre at AEA Technology. In 1993 he was elected to a Chair in the Department of Computer Science and Applied Mathematics at Aston University, where he was a member of the Neural Computing Research Group. He then took a sabbatical during which time he was principal organiser of the six month international research programme on Neural Networks and Machine Learning at the Isaac Newton Institute for Mathematical Sciences in Cambridge, which ran from July to December 1997.

After completion of the Newton Institute programme he joined Microsoft Research in Cambridge. He was also elected to a Chair of Computer Science at the University of Edinburgh where he is a member of the Institute for Adaptive and Neural Computation in the Division of Informatics.

His research is concerned with the development and application of probabilistic methods for inference and learning.

 

Accessibility
Gary Moulton, Microsoft Corp.
[Download the presentation]

Biography: Gary Moulton is responsible for coordinating Microsoft's efforts with assistive technology manufacturers. Prior to working for Microsoft he was manager of Disability Solutions at Apple Computer, Inc. Gary was trained as a clinician and has worked for children and adults with disabilities. He taught child growth and development at the undergraduate and graduate levels. Gary has his doctorates in education and business administration. He is one of the authors of Accessible Technology in Today's Business.

 

A lap around Longhorn, the next version of Windows
Stephen Turner, Microsoft UK
[Download the presentation and code samples]

Abstract: The next version of the Windows operating system, codenamed Longhorn, will offer a leap forward in both functionality and usability, as well as introduce radical advances in system security and software development / deployment. This session will provide a code-centric high level walkthrough of the three main pillars of Longhorn:

  • The presentation pillar focuses on the new graphics framework, codenamed Avalon, a unified model for creating UI, documents and media content.
  • The data pillar explores the new storage system of Longhorn, codenamed WinFS, a common schematised store to unify definition and access to application types.
  • The communications pillar looks at the SOAP messaging substrate, codenamed Indigo, a service-oriented programming model for cross-program communications over a wide variety of network topologies.

Biography: Stephen Turner got stuck into computers at the blush age of 13 when his high school teachers, no longer able suffer his constant abuse, conspired to dump him on an unsuspecting physics lab at the local university. There he explored the magic of lasers and logic gates, and suffered frequent syntactic disruption as he navigated a treacherous course from card punch to reader. This was a very long time ago. Today Stephen still cant get enough of the really cool stuff, and so now fills his days at Microsoft exploring and evangelizing Windows Longhorn and Visual Studio Whidbey. Amazingly, they pay him to do it. When Stephen just cant bear reading yet another email (and Microsofties get a lot), he spends most his time riding his horse. Though only five (the equivalent to a 15 year old with an attitude), Harvey is already 6 feet at the shoulders and still growing! As this means that falling off can really hurt, Stephen really should stop doing it.

 


Claudio Russo, Microsoft Research
[Download the presentation]

Abstract: In the last decade, strongly-typed, garbage-collected object-oriented languages have left the laboratory and become mainstream industrial tools. This has led to improvements in programmer productivity and software reliability, but some common tasks are still harder than they should be. Two of the most critical for the development of the next generation of loosely-coupled, networked applications and web services are concurrent programming and the processing of relational and semi-structured data. Cω is an experimental language designed at Microsoft Research that makes programming with concurrency and external data simpler and less error-prone.

The Cω approach to both the data and control issues is to extend C# with new, first-class, types and language constructs, rather than relying on external libraries, mappings and tools. The concurrency extensions, based on the join-calculus, provide a simple and powerful asynchronous programming model, which is applicable in both the local (multiple threads on a single machine) and distributed (asynchronous message over a LAN/WAN) settings. The data extensions add new type constructors giving first-class support of both relational (database tables) and semi-structured (XML trees) data. Generalized member access allows XPath-like processing to be expressed directly within the language, and checked by the compiler.

This talk will provide a general overview of the features of Cω and include a number of demos.

Briography: Claudio Russo is Research Software Development Engineer at Microsoft Research, Cambridge. He has a PhD in Computer Science from the University of Edinburgh. Before joining Microsoft, Claudio designed and implemented the extended module system of Moscow ML, a popular bytecode compiler for Standard ML. At Microsoft, he has been busy developing SML.NET, a Standard ML compiler with object oriented extensions, that targets the Common Language Runtime and is integrated with Visual Studio .NET. Working with Andrew Kennedy and Don Syme, Claudio is also contributing to the design and implementation of Generics on the Common Languate Runtime. Claudio's research interests include programming language theory, module systems and types.

 

Introduction to the Shared Source CLI 1.0 (a.k.a. Rotor)
Peter Drayton, Microsoft Corp.
[Download the presentation]

 

SML.NET
Claudio Russo, Microsoft Research
[Download the presentation]

Abstract: The .NET Common Language Runtime presents a unique opportunity for programming language researchers: the combination of runtime infrastructure, language interoperability support, and class libraries make niche languages which target the platform more plausible as alternatives to mainstream commercial languages. In this talk Ill describe SML.NET, our compiler for the functional programming language Standard ML. Ill focus on our novel language extensions that support interop with other .NET languages and on ongoing work integrating the compiler with Visual Studio, Microsoft's development environment.

Biography: see above

 

Effective Web Browsing and Searching on Mobile Devices
Ralph Sommerer, Microsoft Research

Abstract: Web pages with complex layout do not display well on mobile devices, because their small displays cannot accommodate the space requirements of such pages. Therefore, they require extensive amounts of scrolling, both horizontally and vertically. This quickly leads to disorientation within a page. In order to make optimum use of the small displays on mobile devices for Web browsing and searching, it is necessary to enforce both overview and detail concerns of page viewing. However, to provide a consistent Web browsing experience across a variety of devices it is also necessary to preserve as much as possible of the original layout of Web pages and hence their familiar look and feel even when constrained by small displays. SmartView is a browser feature that improves the browsing experience on mobile devices in two ways: First, it provides an overview in the form of a zoomed out image of the page, with outlines segmenting it into detail regions; the user can select any of these regions in order to view it separately from the rest of the page. Second, it rearranges Web page layouts in such a way that they fit the display, reducing any scrolling to a single direction. It thus connects the user with the familiar content design and presentation as experienced on the desktop. SearchMobil extends SmartView with the aim of providing support for searching: pages retrieved by a search engine are displayed in an overview that is annotated to show the locations of search terms. Users can therefore quickly direct their attention to the most promising region of a page.

Biography: Ralph Sommerer is a researcher at Microsoft Research. Ralph obtained his diploma in Computer Science from the Federal Institute of Technology (ETH) in ZricSwitzerland, in 1989. He then joined the Institute of Computer Systems at ETH, where he worked as a research and teaching assistant in the fields of software component architecture and online documents. He concluded his project with a Ph.D. in 1996. After leading a project group in a company and developing software tools for embedded systems, he joined Microsoft Research in Cambridge in January 1998. Togewith Chuck Thacker, he built Microsofts first experimental Electronic Book (eBook) prototype, a conceptual study that eventually led to Microsofts eBook Reader. Hes been working for a while now on aspects of Smart Reading and the Mobile Web, such as layout, Web browsing and search on small devices.

 

The Storage User Experience in Windows Longhorn
Walter Smith, Microsoft Corp.
[Download the presentation]

Abstract: As hard drives grow ever larger, and new data types like digital music and photos proliferate, traditional file systems don't do enough to help users deal with their data. Windows Longhorn provides a new user experience for organizing, searching, and sharing data, based on a new storage system derived from both file system and database technologies. Learn about Microsoft's approach and the philosophy that motivated these exciting enhancements.

Biography: Walter Smith is a Senior Architect in the Windows User Experience team, currently working on Windows Longhorn storage and communications features. In his eight years at Microsoft he has contributed to Internet Explorer, the Windows Shell, and MSN Explorer. Previously he was at Apple Computer where he was a major contributor on the Newton project. Walter has a B.S. in Applied Mathematics from Carnegie Mellon University.

 

Why trust is bad for security?
Dieter Gollmann, Technical University Hamburg-Harburg
[Download the presentation]

Abstract: Security goes through fashion cycles and today's fashion is trust. This talk will explore some of the many meanings this word has been used in, and is currently being used in. I will argue that trust is not a unifying concept bringing together different branches of information security, but a source of great confusion and superficiality. I will also point to interesting research directions hidden under the cloak of trust.

Biography: Prof. Dieter Gollmann received his Dipl.-Ing. in Engineering Mathematics (1979) and Dr.tech. (1984) from the University of Linz, Austria, where he was a research assistant in the Department for System Science.

He was a Lecturer in Computer Science at Royal Holloway, University of London, and later a scientific assistant at the University of Karlsruhe, Germany, where he was awarded the venia legendi for Computer Science in 1991. He rejoined Royal Holloway in 1990, where he was the first Course Director of the MSc in Information Security. He was a Visiting Professor at the Technical University of Graz in 1991, an Adjunct Professor at the Information Security Research Centre, QUT, Brisbane, in 1995, and has acted as a consultant for HP Laboratories (Bristol). He joined Microsoft Research in Cambridge in 1998. In 2003, he took the chair for Security in Distributed Applications at the Technical University Hamburg-Harburg, Germany. He is a Visiting Professor with the Information Security Group at Royal Holloway.

Dieter Gollmann is one of the editors-in-chief of the International Journal of Information Security and an associate editor of the IEEE Security & Privacy Magazine. He has authored a textbook on Computer Security.

 

Domain Specific Modelling
Alan Cameron Wills, Microsoft Corp.

Abstract: A domain-specific language is a language designed to express the requirements and solutions of a particular business domain. The insurance industry, telephony, ice-cream manufacture, etc, all have their own vocabulary, constraints and patterns which can be most conveniently expressed in a purpose-made language. With clever engineering, we can design a compiler and runtime architecture that can input such definitions and generate an insurance or telephony or ice-cream system. A domain specific language can be seen as a coherent kit of components with an explicit grammar. Within certain domains, such tools already exist, and substantial improvements in development time are reported. This talk will provide an overview of the use of domain-specific languages, together with the associated development processes and tools.

Biography: Alan Cameron Wills works in Microsoft's Whitehorse team, developing the next generation of tools for Visual Studio. Until 2003, Alan was a methods consultant (and founder of Trireme International Ltd). He is co-author of Objects, Components and Frameworks with UML: the Catalysis Approach [1998], which advocated the use of precise abstractions to model component based systems. During the 80s, he worked as a researcher in the Formal Methods group at Manchester University. He started programming in 1972, and can still read punched paper tape and edit it with a ball-point pen and sticky tape.

 

.NET: Road to Pervasive Integration
Rafal Luckawiecki, Project Boticelli Ltd
[Download the presentation]

Abstract: XML, Web Services, Loose Coupling and Standards are keys to the way software architectures have evolved over the past few years. One of the goals of this evolution, however, is something much more difficult to achieve: a situation where all software, devices and systems can interact with each other without any need to integrate them. While we are quite a few years or a decade away from reaching that ideal the first steps have already been made. Microsoft's .NET and the related Web Services Architecture coordinated by WS-I.org are one of the most important recent architectural developments in IT. Not only will this session will provide a high-level overview of WSA protocols, but it will also explain the more long-term evolution of software towards the ideal of pervasive integration.

Biography: Rafal Luckawiecki, Project Boticelli Ltd: In his role as eVisioneer and Director at Project Botticelli Ltd Rafal is responsible for analysing, planning and forecasting the changes in the field of Information Technology. Through direct association with his clients, Rafal is working closely with teams of up to 150 software developers, as well as with investors and their boards of directors. This work allows him to practice the best principles of Microsoft Solutions Framework, and Microsoft Operations Framework - the secrets behind Microsoft's and many other IT companies success. Amongst his past experiences, Rafal was also one of the founders of Bot Inc., a Seattle software development company. In his other previous roles at Oxford Computer Group Ltd and at Aris Corporation Rafal gained extensive practical experience in consulting and professional technical speaking on a variety of subjects, which he continues to perform at Project Botticelli Ltd. His frequent conference keynotes and other speeches have been sought after by many company directors, CEOs and business leaders. These included many Microsoft TechEd conferences, Butler Group events and very prestigious addresses in a number of European countries upon their governments invitations.

Rafal specialises in three fields: study of programming models, security and cryptography, and project and operational management of IT. His work focuses mainly on: team building, management of software development ventures, designing successful IT support and operations, current and future software design patterns, e-Business, Microsoft .NET strategy, IT security, OO development, and messaging. In his spare time, Rafal has been writing a new book on Microsoft Solutions Framework aimed at its practitioners. Last but not least, amongst over 50 of his professional Microsoft qualifications he has previously obtained the MCSE, MCSD, Internet, MCT and unique MSF Master Trainer endorsements. Rafal also holds an MSc in the Foundations of Advanced Information Technology from Imperial College, University of London.

 

Using Viruses and Bugs to Teach Artificial Intelligence (AI) Programming in C#.NET
Peter Cowling, University of Bradford
[Download the presentation]

Abstract: A good way to get students to push themselves to understand and tool up for difficult new concepts is to make it as much fun as possible. AI is widely regarded as the next big thing by the computer games industry, with increasingly advanced AI appearing for commercial games. Moreover, games have long been regarded as an important research platform for AI ideas in academia. In this talk we describe how these ideas have been put together in the final year undergraduate/masters module AI for Games at the University of Bradford. The module is assessed entirely by two course works. The first coursework is to develop a key AI component for the 2-player board game of Virus. The second is to develop AI which controls a bug in a simulated environment, an academic version of Microsoft's Terrarium application. In each case, a server runs games continuously so that students can access a league table on the Internet, which has maintained a high level of student interest and motivated students to use sophisticated AI and software ideas.

The talk will demonstrate the two applications used in the module and the results server. We will talk about some of the innovations shown by students, both in creating their AI and in forming a thriving add-on community, and assess the potential of approaches of this type for teaching advanced programming and AI concepts.

Biography: Peter Cowling leads the Modelling Optimisation Scheduling And Intelligent Computing (MOSAIC) research group at the University of Bradford. He has worked extensively in the areas of scheduling, optimisation and modelling, both within academia, where he has published over 50 papers, and as a consultant, having led the team responsible for the development of models and heuristics for the successful SteelPlanner range of steel scheduling software, and having developed systems used for scheduling staff in one of the UK's largest financial institutions. He obtained MA and DPhil degrees from the University of Oxford. Current research interests include flexible evolutionary approaches and hyper heuristics applied to realistic, dynamic models of real-world personnel and production scheduling, and the development of Artificial Intelligence approaches for game playing agents.

 

Using the .NET Framework in University Courses
Damien Watkins, Microsoft Research

Abstract: Incorporating new technologies in to a curriculum is an important task for attracting students, keeping courses relevant and demonstrating emerging standards but, if not managed correctly, it can also become an all-consuming occupational hazard. This workshop details experiences introducing the .NET Framework as the implementation platform in three university subjects. The first was an undergraduate subject, Software Component Technologies, which had previously used COM, the second was a Masters subject, "Distributed Object Technologies", which had used a combination of CORBA and DCOM and the third was a Windows programming subject that had previously used the Object Windows Library.

Biography: Damien Watkins is a member of the University Relations team at Microsoft Research Cambridge. His major area of responsibility is the adoption of .NET related technologies in research and teaching within EMEA.

Before joining MSR, Damien founded and managed his own software consulting company called Project 42. Prior to commencing Project 42 Damien lectured at the School of Computer Science and Software Engineering and the Department of Software Development at Monash University. Damien lectured both postgraduate and undergraduate subjects, covering the areas of UNIX System Call Programming, Windows Programming with C++, Component Based Software Development and Distributed Object Oriented Technologies. Damien taught the worlds first .NET Framework course at Monash University. He has also taught at Uppsala University (Sweden) and KMITNB (Thailand).

Component architectures that provide language interoperability have always held a keen interest for Damien, and he has written a paper on this topic, titled Handling Language Interoperability with the Microsoft .NET Framework. Since 1998 Damien has been engaged with Microsoft on the development of the .NET Framework. This has required regular visits to Microsoft, Redmond and also included a two-month sabbatical in June/July 2001.

Damiens PhD thesis, titled Adding Contracts to Interface Definition Languages, dealt with improving the quality of distributed object oriented architectures, such as DCOM and CORBA. Damien has published several papers on COM/DCOM, CORBA and the .NET Framework. He has presented tutorials, seminars and workshops on COM/DCOM, CORBA and the .NET Framework at SIGCSE 2002 (USA), the Microsoft Research Faculty Summit 2001 (USA), ObjectWorld (Australia), TOOLS Pacific (Australia), TOOLS Europe (France), TOOLS East Europe (Bulgaria) and TOOLS Asia (Beijing).

Related publications:

 

Symphony in C#: Biofeedback and 3D Visualization using the .NET Framework
Robert Burke & Gary McDarby, Media Lab Europe

Abstract: The MindGames Group is an interdisciplinary team at MIT Media Lab Europe that integrates intelligent biofeedback, computer gaming and sensory immersion to develop techniques for positively affecting a participants state of mind.  For over a year, the group has developed Symphony, an extensive signal processing and visualization framework that leverages the combined power of the C# language, the .NET Framework, and associated technologies such as Managed DirectX.

In this talk, we will describe a number of diverse real-time applications that have been developed using Symphony.  One of these applications, Mind Balance, involves the non-invasive acquisition and processing of electroencephalogram signals from the surface of the head, for the purpose of creating a brain-computer interface that controls a character that is tottering across a tightrope.  In another application, Still Life, conventional video acquisition technologies are used to generate a surreal magic mirror.  Although originally developed for physiotherapeutic applications, Still Life has also provided the interactive technical component for live theatre performances, including a modern dance performance at the United Nations World Summit on the Information Society.  Other applications being developed with Symphony include Aura Lingua, which uses a tongue-controlled bi-directional wireless interface; and Peace Composed, where the depth and complexity of a piece of music are affected in real-time by a participants level of relaxation, as measured by their galvanic skin response.

Included in our discussion will be some specific examples of how the .NET technologies have allowed us to develop Symphony's strong foundation, and also rapidly build and deploy such a wide variety of applications.  We will show how Symphony is currently being used to build very complex real-time applications by a variety of researchers, some of whom had limited previous software development experience.  Finally, we will discuss some potential future directions for the architecture within the Longhorn timeframe and beyond.

More information:

Biography: Robert Burke is a Research Associate with the MindGames Group, where he is the designer and lead architect of the Symphony code base.  In addition to his work on the architecture, he is also the lead software developer on the projects Still Life, Mind Balance and Peace Composed. Prior to his research at Media Lab Europe, Rob was a graduate student with the Synthetic Characters group at the MIT Media Lab, where his thesis contributed a new ethologically-inspired model for predictive learning in lifelike virtual characters.

Biography: Gary Mc Darby has a background in biomedical signal processing and is a principal research scientist in Media Lab Europe leading a multi-disciplinary group called MindGames. The group has a range of skills from computer science, signal processing, psychology, hardware design, games programming, graphic design and music composition. The group has produced a number of widely acclaimed demonstrations notably the Relax to Win concept where players must relax in a racing game in order to win and Brain-Child, an immersive video game where gaining control over relaxation becomes a power in the virtual world.  Gary was primarily responsible in facilitating the construction of an Intel Computer Clubhouse on the Media Lab Europe campus and he recently featured on RTEs Would You Believe show which documented his life over the last ten years. He has given numerous talks on technology and philosophy and has recently been nominated to the European Academy of Sciences for contributions to human progress.

Keynote speakers

Microsoft Ireland
Terry Landers, Head of Government Affairs, Microsoft Ireland

Irelands growth strategy: research the key
Edward Walsh, President, Irish Council for Science, Technology and Innovation (ICSTI)
[Download presentation]

Training

An Introduction to the Common Language Infrastructure
Damien Watkins, Microsoft Research
[Download the presentation and code samples]

Biography: see above.

Abstract: A number of Component-Based Architectures (CBAs) have been developed to facilitate the interoperability of software components that are written in different programming languages. The most widely known and used of these is OMGs Common Object Request Broker Architecture (CORBA) and Microsoft's Component Object Model (COM) and Distributed COM (DCOM). Although not specifically designed to provide language interoperability, many Java-based technologies, such as Enterprise Java Beans (EJB), also adhere to the principles of a CBA. The Common Language Infrastructure (CLI) is the latest CBA to be developed, and it builds on many of the lessons learned from previous architectures. In this workshop, we will look at the major components of the CLI. The CLI is an ECMA standard on which Microsoft has built numerous implementations, including: the .NET Framework, the Compact Framework and the Shard Source CLI. The CLI is also the specification on which non-Microsoft implementations are based.

 

Fusion and .NET Security
Richard Grimes

Abstract: The purpose of these two session is to build upon the introduction course and to give a deeper understanding of fundamental aspects of the framework and runtime. These labs will cover two main topics: Fusion and .NET Security.

Fusion is the technology that .NET uses to locate and load assemblies and has been designed to prevent the naming, versioning and location issues that are inherent in Windows Dynamic Link Libraries. Fusion is flexible and allows users to alter the way it works; it also maintains a log of its actions so that users can determine the source of problems when the occur. In this lab we will show how to use the facilities of Fusion and how to interpret the information that it logs. Well also show how to share libraries through the Global Assembly Cache (GAC) and how to change versioning through publisher policy files.

There are two important aspects to .NET Security. The first aspect is ensuring that the code is legitimate and has not been tampered. The second aspect is that the code is trusted to perform the actions it attempts. In this lab we will show how .NET validates that an assembly has not been tampered when it is loaded and checks to see if it contains dangerous code through verification. We will also show .NET Code Access Security that uses evidence obtained from the code, rather than from the user, to determine the permissions that the code has to perform specific actions. We will show how to apply code access security to your code and how to configure .NET policy to change the trust given to an assembly.

Biography: Richard Grimes has a BSc in Physics from Nottingham University and a PhD in Semiconductor Physics also from Nottingham. He has research experience in GaAs/AlGaAs 2 dimensional structures and postdoctoral work on semimagnetic semiconductors. After his science career Richard worked as a software architect working on distributed object systems in the days before CORBA and DCOM. Richards writing career started when he wrote the first and most widely used book on DCOM and then followed that up with books on ATL, MTS and COM+. More recently, Richard writes and gives talks on .NET with an emphasis on the fundamentals of the framework. Hes currently writing a comprehensive reference on WinFX, the framework behind Longhorn.

Richard has written best selling books for Addison Wesley and Microsoft Press on the .NET framework and Managed C++. He speaks regularly at .NET conferences in the US and Europe including VSLive, DevConnections, WinDev, WinSummit, BASTA and DevWeek. Richard writes for a variety of magazines including MSDN Magazine, VCDJ, Windows Developer Magazine and Developer Network Journal. Currently, he is a contributing editor of Dr Dobbs Journal where he writes a monthly column on .NET. Richard has been awarded Microsoft MVP status since 1999 and is an MVP for contributions to the .NET community.

Related publications:

Demos and posters

 

Adaptive Performance Monitoring of Component Based Applications
Adrian Mos, Dublin City University

Component middleware platforms such as J2EE or .NET address the needs of enterprise projects by providing reusable standardized services (such as persistence and s

ecurity) and reliable runtime environments which developers can leverage in a cost-effective manner when building large-scale systems.

By concentrating on business logic, less time is spent on the implementation of the application infrastructure, therefore reducing time to market.

However, the resulting complexity of the running system is orders of magnitude higher than the complexity of the business logic code alone, as the component containers have a significant computational footprint in order to provide complex lifecycle and systemic services. In such conditions, it is often difficult to precisely understand the causes for performance degradations observed at application level with such metrics as use-case response time.

COMPAS is a framework for non-intrusively instrumenting and monitoring the performance of component-based applications at the component level. In addition, it can extract execution models from running systems and present them in UML. By dynamically switching parts of the monitoring infrastructure on and off based on runtime conditions, COMPAS ensures negligible overhead when the system is operating within acceptable limits, and a minimum overhead when some parts exhibit poor performance and need to be inspected.

Since the extracted performance data is presented at the conceptual level developers operate with, the time needed to identify the appropriate correctional steps can be minimised.

The COMPAS prototype has been implemented for J2EE and the feasibility of porting it to .NET is under evaluation.

 

Agent-Managed Community Healthcare Transactions
Richard Hill and Simon Polovina, Sheffield Hallam University

Many multi-agent software systems are being developed with little regard to the economic environment in which these agents will have to conduct their transactions. Our interest is in the contractual agreements that exist between community healthcare agencies and their 'customers' (being elderly patients or their local government authorities). Economic scarcity is particularly prevalent in such an area, and not just for its monetary costs as political and social dimensions have also to be considered. Community healthcare thus highlights the challenges that must be described in a robust way if agent-managed services are to be accepted commercially. Typically auction models are utilised by agent applications as they are widely understood, established, and cheap to implement, but they are too simple to capture the nuances of community care payment transactions as described. We therefore consider the Event Accounting model in relation to the myriad of payment transactions within the community care environment, and propose a robust transaction-based framework for the deployment of agent-managed community care systems in practice.

 

Dendros
Steven Murdoch, Markus Kuhn and Piotr Zielinski, University of Cambridge

Imagine the future of the Internet as a single huge document, divided and replicated across thousands of servers, using a new kind of distributed database or file system, based on a next-generation variant of XML. What security mechanisms could encourage users to share control over their data more widely? How far can we detach the question of who controls the servers from who controls the stored data?

Project Dendros creates a unifying data-management layer for Internet applications. Its goal is to create, study, and optimize a unifying replacement technology for historically grown standards and technologies such as DNS, file systems, file structuring formats such as SGML/XML, MIME, ASN.1, email headers, X.500, LDAP, and MIME.

The core of Dendros is a flexible and simple data model, essentially a tree of byte strings. This is combined with a modular processing model based on access filters, which implement functions such as storage management, remote read/write access, authentication, access control, revision control, and replication.

A particular aim of Dendros is the design of new cooperative administration concepts that enable participants with limited mutual trust to cooperate effectively in a single global name space. Instead of a single authoritative central server, the data is managed by a group of peer servers, which independently verify all access conditions for each change request. Therefore, malicious behaviour of some of the servers will not interfere with the integrity and availability of the others.

Each server maintains an independent revision history of the data. The right to add a change and the right to mark a new version as current are orthogonal. This makes it easier for the community to optimistically grant write access to less trusted members and roll back changes if necessary.

 

End-to-End .NET For Field Marketing
Assad Faizi, University of Reading

Field marketing largely involves processing considerable amounts of data into meaningful information such as marketing reports. Gekkos current IT systems are unable to deliver the level of detailed reporting their clients (such as Three, Logitech and AMD) are now demanding. Although a basic in house solution exists, it is very cumbersome to manage and deploy, compromising the immediacy and quality of reports that clients require.

To develop and implement a .NET solution that will integrate the various business components into a single IT system which is both scalable and secure. The .NET platform will enable Gekko Partners Limited to use a variety of client devices such as PDAs for collecting field data, while using server based components to process the data into rich content web reports.

As part of a government sponsored initiative known as the Knowledge Transfer Partnership (or KTP), the University of Reading, supervised by Dr Shirley Williams and Dr Andrew Adams, is helping Gekko Partners Limited to implement such a system. By recruiting a graduate through the KTP programme, both the company and the university can combine ideas and knowledge thinking, all contributing to a well developed IT system.

Gekko Partners Limited is a BTL agency entering their 3rd year of trading. Gekko provide field marketing solutions to brands within the consumer electronics, technology and telecoms sectors. Activity is undertaken across both Consumer and B2B channels which involves data collection to enable clients to understand, amongst other things, their channel, stock availability and competitor products. Within the consumer channel, activity is executed throughout high street retailers such as Dixons, PC World, Carphone Warehouse etc. All activity requires data to be understood and presented back in campaign report format.

 

e-Science, the Grid and Microsoft .NET
Mike Jackson, Edinburgh Parallel Computing Centre

The MS.NETGrid project was a year-long project focused upon implementing the Open Grid Services Infrastructure (OGSI) on Microsoft .NET. The goal of the project was to provide a practical demonstration to the UK e-Science community of the applicability of Microsoft .NET technologies to the hosting, development and deployment of Grid Services. A complementary goal was facilitating understanding of the Grid and e-Science within Microsoft. The project was a collaboration between EPCC and Microsoft Research Ltd., funded through the UK National e-Science Centre by the UK Department of Trade and Industry.

The achievements of our project were as follows:

  • Delivery of an implementation of OGSI running under Microsoft .NET - MS.NETGrid-OGSI - based upon the design of the implementation of OGSI provided within the Globus Toolkit 3. This container provides the option to maintain service state within files or an SQL Server database facilitating service persistence and container robustness.
  • Delivery of an implementation of a set of demonstrator Grid services running under this OGSI implementation, including an OGSA-DAI service which interacts with SQL Server via ADO.NET technology.
  • Delivery of four OGSI and Microsoft .NET training courses at the UK e-Science Institute in Edinburgh and at Imperial College in London to delegates from both the academic and commercial sectors and from a range of UK e-Science institutions across the UK.

In our poster we will present the high-level architecture of MS.NETGrid-OGSI and experiences of attendees at our training courses. We shall also provide a demonstration of MS.NETGrid-OGSI.

 

OpenPMF - Modelling Security for Complex, Heterogeneous, Distributed Systems
Ulrich Lang, University of Cambridge

The proliferation of different distributed systems platforms and security technologies complicates the integration of distributed applications and the migration of existing applications to new technologies. Model driven software development tries to tackle this problem by modelling the application logic undistorted by technology and using automated (or
semi-automated) tools to map the model to the particular technology. The OMG's Model Driven Architecture (MDA) is one predominant framework that advocates this approach. Distributed systems security faces a similar problem in that there are many different platforms and security technologies that need to be integrated.

We present our flexible, model-driven Policy Management Framework (PMF), which is the result of applying the concepts of model driven software engineering to security. PMF is available as Open Source software. It is developed as part of the EU part-funded IST research project COACH (Component Based Open Source Architecture for Distributed Telecom Applications).

 

Plugging .NET into academic curriculum
Amala Rajan, Middlesex University

The software industry has ventured into the integration of windows and the internet with Microsoft .NET which generates Smart Client Software. Microsoft .NET expands the opportunities by using this technology to act on data and communicate anywhere, anytime and on any device. IT industry has already accepted this technology and is searching for qualified .NET professionals for fulfilling its needs. There is a wide gap that exists between this need and the IT professionals emerging from our country.

Plugging in .NET can minimise the technological gap between lack of knowledge of IT professionals in .NET and the need and to enhance the technological content within academic programmes. This project involved analyzing the learning outcomes of relevant subject modules within curriculum, and based on this analysis, to identify, design and implement the plugging in of various elements of .NET architecture into these modules.

 

Sentient Objects for Context-aware Mobile Computing
Vinny Cahill, Trinity College Dublin

This poster/demonstration will present work in progress towards the design of a middleware architecture for the development of proactive context-aware applications from sensor-rich components based on the Sentient Object paradigm. We will describe/demonstrate a visual programming tool for the development of sentient objects and a case studies that are being used to evaluate the approach including autonomous sentient vehicles and a smart couch.

 

Supporting Process-Oriented Architectures through Component Composition
Finbar McGurren, University of Limerick

As the component based development process progresses into component composition business processes identified during requirements gathering are translated into software constructs based upon the guidelines of the underlying component model. This translation creates a cognitive gap between the business process models developed during design and the system implementation. During software evolution considerable time and effort is expended bridging this gap. It is important therefore that the components of a system be linked to a particular business process so as to aid the maintenance task. My research investigates how this gap may be reduced by adding a process abstraction to the application model using a component composition language and presents an architectural connector framework that supports this model.

Organizations face major challenges in the provision of their software systems and with increased market pressure, they require systems that can incorporate new requirements and adapt quickly to changing environments. Despite the requirement for flexible software systems, it is estimated that approximately 85% of the system lifecycle is spent performing maintenance. Much of this effort is spent locating the site of evolutionary change. This problem may be attributed to the ad-hoc techniques used to compose component based systems and their inability to make business processes explicit architectural entities. Furthermore these techniques are too low level to support an evolution process that takes place at a higher level of abstraction in which business strategy and rules change.

Component based systems have a clear separation between computational and compositional entities represented in the architecture. This separation of concerns lends itself particularly well to performing software evolution as it is possible to change system composition independent of the components involved. It is important that the techniques used to compose software systems provide the necessary abstractions for evolving these systems in the future.

As a solution to these problems the component application model is extended to include a process abstraction layer. At this layer business processes are superimposed upon the components found in the business layer. The application model is now more process orientated, operating at a higher level of abstraction, and built on top of existing component technology shielding the developer from infrastructural complexities.

This research makes the following contributions:

  • A component composition language for defining business processes at the process layer.
  • An architectural connector framework that supports the process orientated application model.

 

Teaching Hardware/Software Co-Design
James Srinivasan, University of Cambridge

Thanks to a Microsoft Research Innovation Excellence Award for Embedded Systems we have ported the Windows CE .NET operating system to the Altera EPXA1 development board. This board features an Altera Excalibur FPGA with an integrated ARM9 processor together with a variety of external interfaces. By porting the Windows CE operating system we hope to offer more challenging group and individual projects in our undergraduate Computer Science course as well as providing students with invaluable real-world experience of an entire embedded system.

 

A web-enabled application and information system for use by GAP year students
Tom Robinson, University of Reading

Using a modular development approach the existing static website of GAP Activity Projects is being augmented with a number of value added interactive services. The first is allowing online applications, followed by a community portal for use by GAP year students and alumni. Later, services for volunteer and salaried staff will be developed for use in the offices across the world.

GAP Activity Projects is the largest year-out provider for 17 - 20 year olds. A not-for-profit organisation providing a diverse range of voluntary work placements in 33 countries. Placements last between 3 - 12 months and range from teaching English as a foreign language, schools assistance, caring, medical and outdoor education to environmental projects. On return, GAPpers can keep in touch through the Alumni Club and join the Business Partnership Scheme for help with graduate recruitment.

The project is a Knowledge Transfer Partnership (KTP) scheme with The University of Reading, supervised by Dr. Rachel McCrindle and Dr. Shirley Williams of the School of Systems Engineering. These government sponsored programmes combine the knowledge of the company, graduate and knowledge base partner. A research based masters degree is a major part of the programme and will be looking at A web development framework for incorporating individual identities within corporate websites.

The extensive use of .NET will be key to the success of the project as it will allow the interactive modules to be expanded upon and customised for each of the growing number of global offices, each with varying cultures, resources and business procedures.


©2008 Microsoft Corporation. All rights reserved. Terms of Use |Trademarks |Privacy Statement