<?xml version='1.0' encoding='UTF-8'?><?xml-stylesheet href="http://www.blogger.com/styles/atom.css" type="text/css"?><feed xmlns='http://www.w3.org/2005/Atom' xmlns:openSearch='http://a9.com/-/spec/opensearchrss/1.0/' xmlns:georss='http://www.georss.org/georss' xmlns:thr='http://purl.org/syndication/thread/1.0'><id>tag:blogger.com,1999:blog-22380834</id><updated>2010-04-08T10:38:47.529Z</updated><title type='text'>IMG News</title><subtitle type='html'></subtitle><link rel='self' type='application/atom+xml' href='http://www.blogger.com/feeds/22380834/posts/default'/><link rel='alternate' type='text/html' href='http://www.cs.manchester.ac.uk/img/index.php'/><link rel='next' type='application/atom+xml' href='http://www.blogger.com/feeds/22380834/posts/default?start-index=26&amp;max-results=25'/><link rel='http://schemas.google.com/g/2005#feed' type='application/atom+xml' href='http://www.cs.manchester.ac.uk/img/atom.xml'/><author><name>Simon HARPER</name><email>noreply@blogger.com</email></author><generator version='7.00' uri='http://www.blogger.com'>Blogger</generator><openSearch:totalResults>141</openSearch:totalResults><openSearch:startIndex>1</openSearch:startIndex><openSearch:itemsPerPage>25</openSearch:itemsPerPage><entry><id>tag:blogger.com,1999:blog-22380834.post-7811888587167334855</id><published>2010-04-08T10:37:00.001Z</published><updated>2010-04-08T10:38:47.537Z</updated><title type='text'>IMG Seminar 14th April 2010</title><content type='html'>Title: Sybil Resistant - Authentication in Mobile Ad-hoc Networks&lt;br /&gt;&lt;br /&gt;Presenter: Sarosh Hashmi&lt;br /&gt;&lt;br /&gt;Venue: 13.00 14th April 2010 in 1.3, Kilburn Building&lt;br /&gt;&lt;br /&gt;Abstrtact:&lt;br /&gt;Generating and verifying identities of nodes in an open Mobile Ad-hoc Network (MANET) is a challenging task. In the absence of any Trusted Third Party (TTP), nodes can acquire multiple identities and can misuse them to launch Sybil attack. In this attack, multiple identities can be employed by a malicious node to disrupt network operation or acquire disproportionate share of network resources. To cope with Sybil attack, we propose to use the hardware id of the devices carried by nodes as their identity. A mechanism is devised that enables the nodes verify hardware id of each other with minimal input from the TTP. In this scheme, an authentication agent is assigned the task of verifying the hardware id of authenticatee node. The task of the TTP is to sign the authentication agent in order to provide assurance that it does not perform any harmful tasks at the visiting host. Moreover, we have carried out a detailed analysis of various static and dynamic attacks that may be launched by a potential malicious host against the authentication agent. Consequently a model is devised to protect the agent from such attacks. This model results in increase security of authentication agent and reduces the avenues for a potential malicious host to acquire multiple identities for launching Sybil attack.&lt;div class="blogger-post-footer"&gt;&lt;img width='1' height='1' src='https://blogger.googleusercontent.com/tracker/22380834-7811888587167334855?l=www.cs.manchester.ac.uk%2Fimg%2Findex.php' alt='' /&gt;&lt;/div&gt;</content><link rel='edit' type='application/atom+xml' href='http://www.blogger.com/feeds/22380834/posts/default/7811888587167334855'/><link rel='self' type='application/atom+xml' href='http://www.blogger.com/feeds/22380834/posts/default/7811888587167334855'/><link rel='alternate' type='text/html' href='http://www.cs.manchester.ac.uk/img/2010/04/img-seminar-14th-april-2010.php' title='IMG Seminar 14th April 2010'/><author><name>Andy</name><email>noreply@blogger.com</email><gd:extendedProperty xmlns:gd='http://schemas.google.com/g/2005' name='OpenSocialUserId' value='00708349186876071035'/></author></entry><entry><id>tag:blogger.com,1999:blog-22380834.post-4441179378477751928</id><published>2010-03-11T10:36:00.002Z</published><updated>2010-03-11T10:39:04.071Z</updated><category scheme='http://www.blogger.com/atom/ns#' term='seminar'/><title type='text'>IMG Seminar 17th March 2010</title><content type='html'>Title: Adaptive Join Processing in Pipelined Plans&lt;br /&gt;&lt;br /&gt;Presenter: Norman Paton&lt;br /&gt;&lt;br /&gt;Venue: 13.00 17th March 2010 in 1.3, Kilburn Building&lt;br /&gt;&lt;br /&gt;Abstrtact:&lt;br /&gt;In adaptive query processing, the way in which a query is evaluated is changed in the light of feedback obtained from the environment during query evaluation. Such feedback may, for example, establish that misleading selectivity estimates were used when the query was compiled, leading to the optimizer choosing an inappropriate join order or unsuitable join algorithms. This paper describes how joins can be reordered, and the join algorithms used replaced, while they are being evaluated in pipelined plans. Where joins are reordered and/or replaced during their evaluation, the approach avoids duplicating work that has already been carried out, by resuming from where the previous plan left off. The approach has been evaluated empirically, and shown to be effective for improving query performance in the light of misleading selectivity estimates.&lt;div class="blogger-post-footer"&gt;&lt;img width='1' height='1' src='https://blogger.googleusercontent.com/tracker/22380834-4441179378477751928?l=www.cs.manchester.ac.uk%2Fimg%2Findex.php' alt='' /&gt;&lt;/div&gt;</content><link rel='edit' type='application/atom+xml' href='http://www.blogger.com/feeds/22380834/posts/default/4441179378477751928'/><link rel='self' type='application/atom+xml' href='http://www.blogger.com/feeds/22380834/posts/default/4441179378477751928'/><link rel='alternate' type='text/html' href='http://www.cs.manchester.ac.uk/img/2010/03/img-seminar-17th-march-2010.php' title='IMG Seminar 17th March 2010'/><author><name>Andy</name><email>noreply@blogger.com</email><gd:extendedProperty xmlns:gd='http://schemas.google.com/g/2005' name='OpenSocialUserId' value='00708349186876071035'/></author></entry><entry><id>tag:blogger.com,1999:blog-22380834.post-5812598276504716201</id><published>2010-03-03T07:20:00.002Z</published><updated>2010-03-03T07:25:16.615Z</updated><category scheme='http://www.blogger.com/atom/ns#' term='seminar'/><title type='text'>IMG Seminar 10th March 2010</title><content type='html'>Title: Feedback-Based Annotation, Selection and Refinement of Schema Mappings for Dataspaces&lt;br /&gt;&lt;br /&gt;Presenter: Khalid Belhajjame&lt;br /&gt;&lt;br /&gt;Venue: 13.00 10th March 2010 in 1.3, Kilburn Building&lt;br /&gt;&lt;br /&gt;Abstrtact:&lt;br /&gt;The specification of schema mappings has proved to be time and resource consuming, and has been recognized as a critical bottleneck to the large scale deployment of data integration systems. In an attempt to address this issue, dataspaces have been proposed as a data management abstraction that aims to reduce the up-front cost required to set-up a data integration system by gradually specifying schema mappings through interaction with end users in a pay-as-you-go fashion. As a step in this direction, we explore an approach for incrementally annotating schema mappings using feedback obtained from end users. In doing so, we do not expect users to examine mapping specifications; rather, they comment on results to queries evaluated using the mappings. Using annotations computed on the basis of user feedback, we present a method for selecting from the set of candidate mappings, those to be used for query evaluation considering user requirements in terms of precision and recall. In doing so, we cast mapping selection as an optimization problem. Mapping annotations may reveal that the quality of schema mappings is poor. We also show how feedback can be used to support the derivation of better quality mappings from existing mappings through refinement. An evolutionary algorithm is used to efficiently and effectively explore the large space of mappings that can be obtained through refinement. The results of evaluation exercises show the effectiveness of our solution for annotating, selecting and refining schema mappings.&lt;div class="blogger-post-footer"&gt;&lt;img width='1' height='1' src='https://blogger.googleusercontent.com/tracker/22380834-5812598276504716201?l=www.cs.manchester.ac.uk%2Fimg%2Findex.php' alt='' /&gt;&lt;/div&gt;</content><link rel='edit' type='application/atom+xml' href='http://www.blogger.com/feeds/22380834/posts/default/5812598276504716201'/><link rel='self' type='application/atom+xml' href='http://www.blogger.com/feeds/22380834/posts/default/5812598276504716201'/><link rel='alternate' type='text/html' href='http://www.cs.manchester.ac.uk/img/2010/03/img-seminar-10th-march-2010.php' title='IMG Seminar 10th March 2010'/><author><name>Andy</name><email>noreply@blogger.com</email><gd:extendedProperty xmlns:gd='http://schemas.google.com/g/2005' name='OpenSocialUserId' value='00708349186876071035'/></author></entry><entry><id>tag:blogger.com,1999:blog-22380834.post-6071581536067992233</id><published>2009-12-14T16:36:00.003Z</published><updated>2009-12-14T16:45:12.930Z</updated><title type='text'>SNEE: Sensor Network Query  Compiler/Optimizer :: Source Code Release</title><content type='html'>&lt;span class="Apple-style-span" style="font-family: arial, sans-serif; font-size: 13px; border-collapse: collapse; "&gt;Project page: &lt;a href="http://snee.cs.manchester.ac.uk/" target="_blank" style="color: rgb(42, 93, 176); "&gt;http://snee.cs.manchester.ac.&lt;wbr&gt;uk/&lt;/a&gt;&lt;/span&gt;&lt;div&gt;&lt;span class="Apple-style-span" style="font-family: arial, sans-serif; font-size: 13px; border-collapse: collapse; "&gt;&lt;a href="http://snee.cs.manchester.ac.uk/" target="_blank" style="color: rgb(42, 93, 176); "&gt;&lt;/a&gt;&lt;br /&gt;We would like to announce the release of the SNEE sensor network query compiler/optimizer.  SNEE   (for  Sensor  NEtwork   Engine)  has  been developed at  the University of Manchester. It  supports an expressive continuous, declarative  query  language over  acquisitional  streams, called SNEEql, using a  software architecture that extends traditional distributed query processing techniques.&lt;br /&gt;&lt;br /&gt;SNEEql queries are compiled into  query evaluation plans (QEPs) in the form of executable nesC/TinyOS  code. SNEEql QEPs currently target the TOSSIM  simulator   and  the  Avrora   Mica2/MicaZ   instruction-level&lt;br /&gt;simulator (TinyOS 1.x  only). We have also run  SNEE-generated QEPs on Tmote Sky motes running TinyOS 2.x, and a further release in which the generated QEPs are fit  for small-scale experiments on such mote-level&lt;br /&gt;hardware is planned for the next few months.&lt;br /&gt;&lt;br /&gt;The  SNEE  compilation/optimization  architecture explicitly  makes  a broad range  of query  planning decisions that  take into  account the resource constrained nature of sensor networks, including:&lt;/span&gt;&lt;/div&gt;&lt;div&gt;&lt;ul&gt;&lt;li&gt;&lt;span class="Apple-style-span" style="font-family: arial, sans-serif; font-size: 13px; border-collapse: collapse; "&gt;routing (i.e., determining the paths along which result tuples should travel),&lt;/span&gt;&lt;/li&gt;&lt;li&gt;&lt;span class="Apple-style-span" style="font-family: arial, sans-serif; font-size: 13px; border-collapse: collapse; "&gt;fragmentation (i.e., deciding where to evaluate different portions of the plan), and&lt;/span&gt;&lt;/li&gt;&lt;li&gt;&lt;span class="Apple-style-span" style="font-family: arial, sans-serif; font-size: 13px; border-collapse: collapse; "&gt;timing (i.e. identifying when to perform computations and communications in order to meet user-specified quality-of-service (QoS) expectations).&lt;/span&gt;&lt;/li&gt;&lt;/ul&gt;&lt;span class="Apple-style-span" style="font-family: arial, sans-serif; font-size: 13px; border-collapse: collapse; "&gt;The versatility in the generation  of QEPs enables the distribution of different  fragments  to  nodes  within the  sensor  network  (thereby enabling  the in-network  evaluation  of fairly  complex queries,  and hence,  potentially   reaping  the  energy   savings  associated  with that approach to a greater degree than in comparable systems).&lt;br /&gt;&lt;br /&gt;SNEE compilation/optimization is  also responsive to explicitly-stated QoS expectations,  such as delivery time.  A version of  SNEE is being prepared  that  will  enable  multiple  query evaluation  as  well  as responsiveness  to  a  broader  range  of QoS  expectations  than  are currently supported by any  comparable sensor network query processing software.&lt;br /&gt;&lt;br /&gt;&lt;/span&gt;&lt;/div&gt;&lt;div&gt;&lt;span class="Apple-style-span" style="font-family: arial, sans-serif; font-size: 13px; border-collapse: collapse; "&gt;SNEE was first developed in the DIAS-MC project funded by the UK EPSRC and is currently being significantly further developed and deployed in the SemSorGrid4Env project ( &lt;a href="http://www.semsorgrid4env.eu/" target="_blank" style="color: rgb(42, 93, 176); "&gt;http://www.semsorgrid4env.eu/&lt;/a&gt; ) funded by&lt;br /&gt;the European Union.&lt;br /&gt;&lt;br /&gt;SemSorGrid4Env aims  to provide  enabling technology for  the semantic discovery and  integration of diverse sensor networks  (and other data resources  such  as  historical  databases or  satellite  imagery)  to support the development of on-the-fly data mashups involving streaming sensor data in the context  of disaster response scenarios. One of the prototypes being  developed as  a demonstrator for  this project  is a fire-prevention application, and plans  are underway to deploy SNEE in a sensor network for monitoring the risk of forest fires in Spain.&lt;br /&gt;&lt;br /&gt;The source code  of SNEE has been released under  the New BSD License, and is hosted at:&lt;br /&gt;&lt;br /&gt; &lt;a href="http://code.google.com/p/snee/" target="_blank" style="color: rgb(42, 93, 176); "&gt;http://code.google.com/p/snee/&lt;/a&gt;&lt;br /&gt;&lt;br /&gt;At  the above  URL,  you can  download  the source,  with some  simple examples. The  quickest way  to get  up and running  is to  follow the 'getting started guide' link in the above page.&lt;br /&gt;&lt;br /&gt;The following associated publications are currently available:&lt;br /&gt;&lt;br /&gt;Overview paper:&lt;br /&gt;&lt;br /&gt; - Comprehensive Optimization of Declarative Sensor Network Queries.&lt;br /&gt;  Ixent Galpin, Christian Y. A. Brenninkmeijer, Farhana Jabeen, Alvaro A. A. Fernandes, and Norman W. Paton.&lt;br /&gt;  In SSDBM, pages 339-360, 2009.&lt;br /&gt;&lt;br /&gt;  &lt;a href="http://dblp.uni-trier.de/rec/bibtex/conf/ssdbm/GalpinBJFP09.xml" target="_blank" style="color: rgb(42, 93, 176); "&gt;http://dblp.uni-trier.de/rec/&lt;wbr&gt;bibtex/conf/ssdbm/&lt;wbr&gt;GalpinBJFP09.xml&lt;/a&gt;&lt;br /&gt;  Available at: &lt;a href="http://snee.cs.manchester.ac.uk/ssdbm09.pdf" target="_blank" style="color: rgb(42, 93, 176); "&gt;http://snee.cs.manchester.ac.&lt;wbr&gt;uk/ssdbm09.pdf&lt;/a&gt;&lt;br /&gt;&lt;br /&gt;Other papers about SNEE:&lt;br /&gt;&lt;br /&gt; - Validated Cost Models for Sensor Network Queries.&lt;br /&gt;  Christian Y. A. Brenninkmeijer, Ixent Galpin, Alvaro A. A. Fernandes, and Norman W. Paton.&lt;br /&gt;  In DMSN, (Article no. 8), 2009.&lt;br /&gt;&lt;br /&gt;  &lt;a href="http://dblp.uni-trier.de/rec/bibtex/conf/dmsn/BrenninkmeijerGFP09.xml" target="_blank" style="color: rgb(42, 93, 176); "&gt;http://dblp.uni-trier.de/rec/&lt;wbr&gt;bibtex/conf/dmsn/&lt;wbr&gt;BrenninkmeijerGFP09.xml&lt;/a&gt;&lt;br /&gt;  Available at: &lt;a href="http://snee.cs.manchester.ac.uk/dmsn09.pdf" target="_blank" style="color: rgb(42, 93, 176); "&gt;http://snee.cs.manchester.ac.&lt;wbr&gt;uk/dmsn09.pdf&lt;/a&gt;&lt;br /&gt;&lt;br /&gt; - A Semantics for a Query Language over Sensors, Streams and Relations.&lt;br /&gt;  Christian Y. A. Brenninkmeijer, Ixent Galpin, Alvaro A. A. Fernandes, and Norman W. Paton.&lt;br /&gt;  In BNCOD, pages 87-99, 2008.&lt;br /&gt;&lt;br /&gt;  &lt;a href="http://dblp.uni-trier.de/rec/bibtex/conf/bncod/BrenninkmeijerGFP07.xml" target="_blank" style="color: rgb(42, 93, 176); "&gt;http://dblp.uni-trier.de/rec/&lt;wbr&gt;bibtex/conf/bncod/&lt;wbr&gt;BrenninkmeijerGFP07.xml&lt;/a&gt;&lt;br /&gt;  Available at: &lt;a href="http://snee.cs.manchester.ac.uk/bncod08.pdf" target="_blank" style="color: rgb(42, 93, 176); "&gt;http://snee.cs.manchester.ac.&lt;wbr&gt;uk/bncod08.pdf&lt;/a&gt;&lt;br /&gt;&lt;br /&gt; - An Architecture for Query Optimization in Sensor Networks.&lt;br /&gt;  Ixent Galpin, Christian Y. A. Brenninkmeijer, Farhana Jabeen, Alvaro A. A. Fernandes, and Norman W. Paton.&lt;br /&gt;  In ICDE, pages 1439-1441, 2008.&lt;br /&gt;&lt;br /&gt;  &lt;a href="http://dblp.uni-trier.de/rec/bibtex/conf/icde/GalpinBJFP08.xml" target="_blank" style="color: rgb(42, 93, 176); "&gt;http://dblp.uni-trier.de/rec/&lt;wbr&gt;bibtex/conf/icde/GalpinBJFP08.&lt;wbr&gt;xml&lt;/a&gt;&lt;br /&gt;  Available at: &lt;a href="http://snee.cs.manchester.ac.uk/icde08.pdf" target="_blank" style="color: rgb(42, 93, 176); "&gt;http://snee.cs.manchester.ac.&lt;wbr&gt;uk/icde08.pdf&lt;/a&gt;&lt;br /&gt;&lt;br /&gt;More information is available at our project page:&lt;br /&gt;&lt;br /&gt; &lt;a href="http://snee.cs.manchester.ac.uk/" target="_blank" style="color: rgb(42, 93, 176); "&gt;http://snee.cs.manchester.ac.&lt;wbr&gt;uk/&lt;/a&gt;&lt;br /&gt;&lt;br /&gt;We would be very grateful for  any comments or questions, so do let us know your experiences,  good or bad, if you try  out the software. For this purpose, and  as default for projects hosted  by Google Code, the SNEE page ( &lt;a href="http://code.google.com/p/snee" target="_blank" style="color: rgb(42, 93, 176); "&gt;http://code.google.com/p/snee&lt;/a&gt; )  comes with a Wiki as well It as Group Discussion  fora. If you prefer to  email us directly, please use {ixent,alvaro}(at)&lt;a href="http://cs.man.ac.uk/" target="_blank" style="color: rgb(42, 93, 176); "&gt;cs.man.ac.uk&lt;/a&gt; .&lt;br /&gt;&lt;br /&gt;External links to software/hardware platforms mentioned above:&lt;br /&gt;&lt;br /&gt;   nesC/TinyOS  &lt;a href="http://docs.tinyos.net/index.php/Main_Page" target="_blank" style="color: rgb(42, 93, 176); "&gt;http://docs.tinyos.net/index.&lt;wbr&gt;php/Main_Page&lt;/a&gt;&lt;br /&gt;   TOSSIM       &lt;a href="http://www.eecs.berkeley.edu/~pal/research/tossim.html" target="_blank" style="color: rgb(42, 93, 176); "&gt;http://www.eecs.berkeley.edu/~&lt;wbr&gt;pal/research/tossim.html&lt;/a&gt;&lt;br /&gt;                &lt;a href="http://docs.tinyos.net/index.php/TOSSIM" target="_blank" style="color: rgb(42, 93, 176); "&gt;http://docs.tinyos.net/index.&lt;wbr&gt;php/TOSSIM&lt;/a&gt;&lt;br /&gt;   Avrora       &lt;a href="http://compilers.cs.ucla.edu/avrora/" target="_blank" style="color: rgb(42, 93, 176); "&gt;http://compilers.cs.ucla.edu/&lt;wbr&gt;avrora/&lt;/a&gt;&lt;br /&gt;   Mica2        &lt;a href="http://www.xbow.com/Products/productdetails.aspx?sid=174" target="_blank" style="color: rgb(42, 93, 176); "&gt;http://www.xbow.com/Products/&lt;wbr&gt;productdetails.aspx?sid=174&lt;/a&gt;&lt;br /&gt;   MicaZ        &lt;a href="http://www.xbow.com/Products/productdetails.aspx?sid=164" target="_blank" style="color: rgb(42, 93, 176); "&gt;http://www.xbow.com/Products/&lt;wbr&gt;productdetails.aspx?sid=164&lt;/a&gt;&lt;br /&gt;   Tmote Sky    &lt;a href="http://www.sentilla.com/moteiv-transition.html" target="_blank" style="color: rgb(42, 93, 176); "&gt;http://www.sentilla.com/&lt;wbr&gt;moteiv-transition.html&lt;/a&gt;&lt;br /&gt;&lt;br /&gt;&lt;/span&gt;&lt;/div&gt;&lt;div class="blogger-post-footer"&gt;&lt;img width='1' height='1' src='https://blogger.googleusercontent.com/tracker/22380834-6071581536067992233?l=www.cs.manchester.ac.uk%2Fimg%2Findex.php' alt='' /&gt;&lt;/div&gt;</content><link rel='edit' type='application/atom+xml' href='http://www.blogger.com/feeds/22380834/posts/default/6071581536067992233'/><link rel='self' type='application/atom+xml' href='http://www.blogger.com/feeds/22380834/posts/default/6071581536067992233'/><link rel='alternate' type='text/html' href='http://www.cs.manchester.ac.uk/img/2009/12/snee-sensor-network-query.php' title='SNEE: Sensor Network Query  Compiler/Optimizer :: Source Code Release'/><author><name>ixent</name><email>noreply@blogger.com</email><gd:extendedProperty xmlns:gd='http://schemas.google.com/g/2005' name='OpenSocialUserId' value='10689337300856174417'/></author></entry><entry><id>tag:blogger.com,1999:blog-22380834.post-4634203167040982104</id><published>2009-12-10T13:17:00.001Z</published><updated>2009-12-10T13:28:25.282Z</updated><title type='text'>Three papers from IMG members accepted at the EDBT 2010 conference</title><content type='html'>EDBT ("Extending Database Technology") is one of the top conferences in the broad area of data management. We are happy to announce that &lt;a href="http://lbd.epfl.ch/EDBTICDT/"&gt;this year's edition&lt;/a&gt; will feature three papers from IMG people, and they are:&lt;br /&gt;&lt;br /&gt;Khalid Belhajjame, Norman W. Paton, Suzanne Embury, Alvaro A. A. Fernandes and Cornelia Hedeler. Feedback-Based Annotation, Selection and Refinement of Schema Mappings for Dataspaces&lt;br /&gt;&lt;br /&gt;Paolo Missier, Norman Paton and Khalid Belhajjame. Fine-grained and efficient lineage querying of collection-based workflow provenance&lt;br /&gt;&lt;br /&gt;Kwanchai Eurviriyankul, Norman W. Paton, Alvaro A. A. Fernandes and Steven Lynden. Adaptive Join Processing in Pipelined Plans&lt;br /&gt;&lt;br /&gt;Congratulations especially to Norman, who is  a co-author of all three!&lt;div class="blogger-post-footer"&gt;&lt;img width='1' height='1' src='https://blogger.googleusercontent.com/tracker/22380834-4634203167040982104?l=www.cs.manchester.ac.uk%2Fimg%2Findex.php' alt='' /&gt;&lt;/div&gt;</content><link rel='edit' type='application/atom+xml' href='http://www.blogger.com/feeds/22380834/posts/default/4634203167040982104'/><link rel='self' type='application/atom+xml' href='http://www.blogger.com/feeds/22380834/posts/default/4634203167040982104'/><link rel='alternate' type='text/html' href='http://www.cs.manchester.ac.uk/img/2009/12/three-papers-from-img-members-accepted.php' title='Three papers from IMG members accepted at the EDBT 2010 conference'/><author><name>Paolo Missier</name><uri>http://www.blogger.com/profile/15836349282055917829</uri><email>noreply@blogger.com</email><gd:extendedProperty xmlns:gd='http://schemas.google.com/g/2005' name='OpenSocialUserId' value='07925899236846623939'/></author></entry><entry><id>tag:blogger.com,1999:blog-22380834.post-7472058808028022133</id><published>2009-12-08T12:02:00.000Z</published><updated>2009-12-08T12:03:12.065Z</updated><title type='text'>Web Accessibility Expert Interviewed By Spanish Media</title><content type='html'>&lt;p&gt;A local Spanish media, &lt;a href="http://www.noticiasdegipuzkoa.com" title="NoticiasdeGipuzkoa.com website" target="news"&gt;NoticiasdeGipuzkoa.com&lt;/a&gt;, recently featured an interview with &lt;a href="http://homepages.cs.manchester.ac.uk/~sharper" title="Dr. Simon Harper homepage"&gt;Dr. Simon Harper&lt;/a&gt; on Web accessibility and how it will give blind users the independence to purchase online. He discussed about the aspects of making a website accessible, the benefits of doing it, and the practicability of achieving it.&lt;/p&gt;&lt;p&gt;Read the original full article at &lt;a href="http://www.noticiasdegipuzkoa.com/2009/12/02/sociedad/euskadi/una-web-accesible-permite-a-un-usuario-ciego-comprar-online-y-asi-ganar-autonomia" title="News article in NoticiasdeGipuzkoa.com" target="new"&gt;http://www.noticiasdegipuzkoa.com/2009/12/02/sociedad/euskadi/una-web-accesible-permite-a-un-usuario-ciego-comprar-online-y-asi-ganar-autonomia&lt;/a&gt;. For the translated English version of the article &lt;a href="http://translate.google.com/translate?js=y&amp;prev=_t&amp;hl=en&amp;ie=UTF-8&amp;layout=1&amp;eotf=1&amp;u=http%3A%2F%2Fwww.noticiasdegipuzkoa.com%2F2009%2F12%2F02%2Fsociedad%2Feuskadi%2Funa-web-accesible-permite-a-un-usuario-ciego-comprar-online-y-asi-ganar-autonomia&amp;sl=es&amp;tl=en" title="English version of the News article in NoticiasdeGipuzkoa.com" target="new"&gt;click here&lt;/a&gt;.&lt;/p&gt;&lt;div class="blogger-post-footer"&gt;&lt;img width='1' height='1' src='https://blogger.googleusercontent.com/tracker/22380834-7472058808028022133?l=www.cs.manchester.ac.uk%2Fimg%2Findex.php' alt='' /&gt;&lt;/div&gt;</content><link rel='edit' type='application/atom+xml' href='http://www.blogger.com/feeds/22380834/posts/default/7472058808028022133'/><link rel='self' type='application/atom+xml' href='http://www.blogger.com/feeds/22380834/posts/default/7472058808028022133'/><link rel='alternate' type='text/html' href='http://www.cs.manchester.ac.uk/img/2009/12/web-accessibility-expert-interviewed-by.php' title='Web Accessibility Expert Interviewed By Spanish Media'/><author><name>Alex Q. Chen</name><uri>http://www.blogger.com/profile/05584278855540673631</uri><email>noreply@blogger.com</email><gd:extendedProperty xmlns:gd='http://schemas.google.com/g/2005' name='OpenSocialUserId' value='12274627446254384161'/></author></entry><entry><id>tag:blogger.com,1999:blog-22380834.post-1693086329310681369</id><published>2009-12-04T14:45:00.003Z</published><updated>2009-12-04T16:02:24.858Z</updated><title type='text'>Full paper accepted to the Computers in Human Behavior</title><content type='html'>&lt;p&gt;A full paper titled, "Small Device Users Situationally Impaired by Input" by Yeliz Yesilada, Simon Harper, Tianyi Chen and Shari Trewin has been accepted to the prestigious &lt;a href="http://www.elsevier.com/locate/issn/07475632"&gt;Computers in Human Behavior&lt;/a&gt; Journal. This paper is written as part of the collaboration between the HCW researchers and &lt;a href="http://domino.watson.ibm.com/comm/research_people.nsf/pages/trewin.index.html"&gt;Shari Trewin&lt;/a&gt; from IBM Watson Research Center.&lt;/p&gt;&lt;p&gt;This paper describes empirical work which makes the link between the behaviour of motor impaired desktop users and non--impaired users of small--devices. This is important because it may, therefore, be possible to leverage existing solutions for motor impaired users into the small--device domain. We find that there is significant overlap in the extent of the problems encountered, but not the magnitude. Eight of the eleven existing errors made by motor impaired users were also present in our small--device study in which two additional error types, key ambiguity and landing errors, were also observed. In addition, small--device rates for common error types were higher than those of desktop users with no impairment, but lower than those of desktop users with motor impairments.&lt;/p&gt;&lt;div class="blogger-post-footer"&gt;&lt;img width='1' height='1' src='https://blogger.googleusercontent.com/tracker/22380834-1693086329310681369?l=www.cs.manchester.ac.uk%2Fimg%2Findex.php' alt='' /&gt;&lt;/div&gt;</content><link rel='edit' type='application/atom+xml' href='http://www.blogger.com/feeds/22380834/posts/default/1693086329310681369'/><link rel='self' type='application/atom+xml' href='http://www.blogger.com/feeds/22380834/posts/default/1693086329310681369'/><link rel='alternate' type='text/html' href='http://www.cs.manchester.ac.uk/img/2009/12/full-paper-accepted-to-computers-in.php' title='Full paper accepted to the Computers in Human Behavior'/><author><name>Alex Q. Chen</name><uri>http://www.blogger.com/profile/05584278855540673631</uri><email>noreply@blogger.com</email><gd:extendedProperty xmlns:gd='http://schemas.google.com/g/2005' name='OpenSocialUserId' value='12274627446254384161'/></author></entry><entry><id>tag:blogger.com,1999:blog-22380834.post-1698943595366881463</id><published>2009-11-02T16:41:00.003Z</published><updated>2009-11-02T16:57:50.462Z</updated><title type='text'></title><content type='html'>&lt;span style="font-weight: bold;"&gt;Taverna 2 formal semantics paper accepted for publication&lt;/span&gt;&lt;br /&gt;&lt;br /&gt;Our paper on the formal semantics of Taverna 2 has been accepted for publication in the Special Issue on Scientific Workflows of the Journal of Computer and System Sciences.&lt;br /&gt;&lt;br /&gt;This is good news: the paper is a result of an ongoing collaboration between the myGrid people,  Jan Hidders of the Technical University of Delft, NL, and Jacek Sroka, of the University of Warsaw, Poland.&lt;br /&gt;&lt;br /&gt;Here is the temporary citation:&lt;br /&gt;&lt;br /&gt;Jacek Sroka, Jan Hidders, Paolo Missier, and Carole Goble, &lt;span style="font-style: italic;"&gt;Formal semantics for the Taverna 2 Workﬂow Model&lt;/span&gt;, Journal of Computer and System Sciences, Special Issue on Scientific Workflows, 2010, in press.&lt;br /&gt;&lt;br /&gt; This is a relevant paper, in that it provides a formal foundation for the new version of the Taverna workflow management system. A similar "formal semantics" paper, which however follows a different modelling approach, described the original Taverna model and appears in the procs. of the IEEE e-science conference: &lt;a href="http://doi.ieeecomputersociety.org/10.1109/E-SCIENCE.2007.71"&gt;DOI&lt;/a&gt;.&lt;div class="blogger-post-footer"&gt;&lt;img width='1' height='1' src='https://blogger.googleusercontent.com/tracker/22380834-1698943595366881463?l=www.cs.manchester.ac.uk%2Fimg%2Findex.php' alt='' /&gt;&lt;/div&gt;</content><link rel='edit' type='application/atom+xml' href='http://www.blogger.com/feeds/22380834/posts/default/1698943595366881463'/><link rel='self' type='application/atom+xml' href='http://www.blogger.com/feeds/22380834/posts/default/1698943595366881463'/><link rel='alternate' type='text/html' href='http://www.cs.manchester.ac.uk/img/2009/11/our-paper-on-formal-semantics-of.php' title=''/><author><name>Paolo Missier</name><uri>http://www.blogger.com/profile/15836349282055917829</uri><email>noreply@blogger.com</email><gd:extendedProperty xmlns:gd='http://schemas.google.com/g/2005' name='OpenSocialUserId' value='07925899236846623939'/></author></entry><entry><id>tag:blogger.com,1999:blog-22380834.post-4403204693793846105</id><published>2009-10-29T20:20:00.006Z</published><updated>2009-10-30T14:01:42.823Z</updated><title type='text'>ISWC 2009 Best Poster Award</title><content type='html'>Congratulations to &lt;a href="http://www.cs.manchester.ac.uk/~horridgm/"&gt;Matthew Horridge&lt;/a&gt;, &lt;a href="http://www.cs.manchester.ac.uk/~bparsia/"&gt;Bijan Parsia&lt;/a&gt; and &lt;a href="http://www.cs.manchester.ac.uk/~sattler/"&gt;Uli Sattler&lt;/a&gt;, who won the "Best Poster &amp; Demonstration Award" at the &lt;a href="http://iswc2009.semanticweb.org/"&gt;8th International Semantic Web Conference&lt;/a&gt; for their &lt;i&gt;joint&lt;/i&gt; poster "Understanding Justifications for Entailments in OWL". More information is available at the &lt;a href="http://kcap09.stanford.edu/share/acceptedISWC09PostersAndDemos.html"&gt;ISWC 2009 posters &amp;amp; demos page&lt;/a&gt; and in the related OWLED paper (&lt;a href="http://www.webont.org/owled/2009/papers/owled2009_submission_30.pdf"&gt;PDF&lt;/a&gt;).&lt;div class="blogger-post-footer"&gt;&lt;img width='1' height='1' src='https://blogger.googleusercontent.com/tracker/22380834-4403204693793846105?l=www.cs.manchester.ac.uk%2Fimg%2Findex.php' alt='' /&gt;&lt;/div&gt;</content><link rel='edit' type='application/atom+xml' href='http://www.blogger.com/feeds/22380834/posts/default/4403204693793846105'/><link rel='self' type='application/atom+xml' href='http://www.blogger.com/feeds/22380834/posts/default/4403204693793846105'/><link rel='alternate' type='text/html' href='http://www.cs.manchester.ac.uk/img/2009/10/congratulations-to-matthew-horridge-who.php' title='ISWC 2009 Best Poster Award'/><author><name>Thomas Schneider</name><uri>http://www.blogger.com/profile/11589925258666936996</uri><email>noreply@blogger.com</email><gd:extendedProperty xmlns:gd='http://schemas.google.com/g/2005' name='OpenSocialUserId' value='02849752778129642131'/></author></entry><entry><id>tag:blogger.com,1999:blog-22380834.post-6412034618673552101</id><published>2009-10-28T12:58:00.004Z</published><updated>2009-10-29T15:04:24.201Z</updated><category scheme='http://www.blogger.com/atom/ns#' term='OWL'/><category scheme='http://www.blogger.com/atom/ns#' term='Semantic Web'/><title type='text'>OWL 2 is now a recommendation!</title><content type='html'>Two years ago, the W3C started a working group to standardize the next generation of the Web Ontology Language (OWL). On Tuesday, &lt;a href="http://www.w3.org/TR/owl2-overview/"&gt;OWL 2 &lt;/a&gt;was &lt;a href="http://www.w3.org/2009/10/owl2-pr"&gt;completed&lt;/a&gt;.&lt;br /&gt;&lt;br /&gt;Professor &lt;a href="http://www.cs.manchester.ac.uk/~sattler/"&gt;Uli Sattler&lt;/a&gt; and &lt;a href="http://www.cs.manchester.ac.uk/~bparsia/"&gt;Bijan Parsia&lt;/a&gt; of the IMG were significant participants in the working group. The main changes to the logical underpinnings of OWL are based on Sattler's research into the Description Logic &lt;i&gt;&lt;a href="http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.104.7857"&gt;SROIQ&lt;/a&gt;&lt;/i&gt; and Parsia was a co-editor of the &lt;a href="http://www.w3.org/TR/2009/PR-owl2-xml-serialization-20090922/"&gt;Primer&lt;/a&gt;, the &lt;a href="http://www.w3.org/TR/owl2-syntax/"&gt;Structural Specification&lt;/a&gt;, and the &lt;a href="http://www.w3.org/TR/2009/PR-owl2-xml-serialization-20090922/"&gt;XML Serialization&lt;/a&gt;.&lt;br /&gt;&lt;br /&gt;OWL 2 is based on the &lt;a href="http://www.w3.org/Submission/2006/10/"&gt;OWL 1.1&lt;/a&gt; member submission to the W3C. OWL 1.1 was developed in the OWL: Experiences and Directions (&lt;a href="http://www.webont.org/owled/"&gt;OWLED&lt;/a&gt;) workshop series (which was co-founded by Parsia). &lt;br /&gt;&lt;br /&gt;The OWL working group also produced a "W3C note" describing the "&lt;a href="http://www.w3.org/TR/owl2-manchester-syntax/"&gt;Manchester Syntax&lt;/a&gt;" developed by &lt;a href="http://www.cs.manchester.ac.uk/~horridgm/"&gt;Matthew Horridge&lt;/a&gt;.&lt;br /&gt;&lt;br /&gt;Software developed by the University of Manchester (in both the IMG and the &lt;a href="http://intranet.cs.man.ac.uk/bhig/"&gt;BHIG&lt;/a&gt;), including &lt;a href="http://www.co-ode.org/downloads/protege-x/"&gt;Prot&amp;eacute;g&amp;eacute;ge 4&lt;/a&gt;, &lt;a href="http://owl.cs.manchester.ac.uk/fact++/"&gt;FaCT++&lt;/a&gt;, and the &lt;a href="http://owlapi.sourceforge.net/"&gt;OWL API&lt;/a&gt; played a key role in the standardization process. Significant features of OWL 2 were developed in response to application and user insight from &lt;a href="http://www.cs.manchester.ac.uk/~stevensr/"&gt;Robert Stevens&lt;/a&gt;, &lt;a href="http://www.cs.manchester.ac.uk/~rector/home_page_rector/"&gt;Alan Rector&lt;/a&gt;, and the rest of the &lt;a href="http://intranet.cs.man.ac.uk/bhig/people.php/"&gt;BHIG&lt;/a&gt;.&lt;br /&gt;&lt;br /&gt;Further reading:&lt;br /&gt;&lt;br /&gt;&lt;ul&gt;&lt;br /&gt;&lt;li&gt;The Manchester &lt;a href="http://owl.cs.manchester.ac.uk/"&gt;OWL page&lt;/a&gt;&lt;/li&gt;&lt;br /&gt;&lt;li&gt;&lt;a href="http://dx.doi.org/10.1016/j.websem.2008.05.001"&gt;OWL 2: The next step for OWL&lt;/a&gt;&lt;/li&gt;&lt;br /&gt;&lt;li&gt; The University of Manchester &lt;a href="http://www.manchester.ac.uk/aboutus/news/display/?id=5182"&gt;press release&lt;/a&gt;&lt;/li&gt;&lt;br /&gt;&lt;li&gt; The W3C&lt;a href="http://www.w3.org/2009/10/owl2-pr"&gt; press release&lt;/a&gt; and &lt;a href="http://www.w3.org/2009/10/owl2-testimonial"&gt;testimonials&lt;/a&gt;&lt;/li&gt;&lt;br /&gt;&lt;/ul&gt;&lt;div class="blogger-post-footer"&gt;&lt;img width='1' height='1' src='https://blogger.googleusercontent.com/tracker/22380834-6412034618673552101?l=www.cs.manchester.ac.uk%2Fimg%2Findex.php' alt='' /&gt;&lt;/div&gt;</content><link rel='edit' type='application/atom+xml' href='http://www.blogger.com/feeds/22380834/posts/default/6412034618673552101'/><link rel='self' type='application/atom+xml' href='http://www.blogger.com/feeds/22380834/posts/default/6412034618673552101'/><link rel='alternate' type='text/html' href='http://www.cs.manchester.ac.uk/img/2009/10/owl-2-is-now-recommendation.php' title='OWL 2 is now a recommendation!'/><author><name>Bijan Parsia</name><email>noreply@blogger.com</email><gd:extendedProperty xmlns:gd='http://schemas.google.com/g/2005' name='OpenSocialUserId' value='09471794132263301325'/></author></entry><entry><id>tag:blogger.com,1999:blog-22380834.post-8823829799997239922</id><published>2009-10-26T17:07:00.001Z</published><updated>2009-10-26T17:16:38.529Z</updated><title type='text'>IMG Seminar 11th November 2009</title><content type='html'>Title: Project Wonderland&lt;br /&gt;&lt;br /&gt;Presenter: Bernard Horan, Sun Microsystems&lt;br /&gt;&lt;br /&gt;Venue: 13.00 11th November 2009 in 1.3, Kilburn Building&lt;br /&gt;&lt;br /&gt;Abstract:&lt;br /&gt;Project Wonderland is an open-source toolkit for building 3D virtual worlds. The platform supports immersive audio, 2D and 3D shared applications, multi-user Java programs in 2D or 3D, and telephony integration. The environment, built on the Project Darkstar game server infrastructure, is open and extensible, allowing developers to create highly customized virtual worlds of all different types. Bernard will provide a description of Project Wonderland's features and show several different virtual worlds built by members of the Project Wonderland open source community. Each world highlights different aspects of the Wonderland platform and the wide range of possibilities open to developers.&lt;div class="blogger-post-footer"&gt;&lt;img width='1' height='1' src='https://blogger.googleusercontent.com/tracker/22380834-8823829799997239922?l=www.cs.manchester.ac.uk%2Fimg%2Findex.php' alt='' /&gt;&lt;/div&gt;</content><link rel='edit' type='application/atom+xml' href='http://www.blogger.com/feeds/22380834/posts/default/8823829799997239922'/><link rel='self' type='application/atom+xml' href='http://www.blogger.com/feeds/22380834/posts/default/8823829799997239922'/><link rel='alternate' type='text/html' href='http://www.cs.manchester.ac.uk/img/2009/10/img-seminar-11th-november-2009.php' title='IMG Seminar 11th November 2009'/><author><name>Andy</name><email>noreply@blogger.com</email><gd:extendedProperty xmlns:gd='http://schemas.google.com/g/2005' name='OpenSocialUserId' value='00708349186876071035'/></author></entry><entry><id>tag:blogger.com,1999:blog-22380834.post-5010009641891321414</id><published>2009-10-22T14:10:00.000Z</published><updated>2009-10-22T14:11:01.829Z</updated><title type='text'>Full paper accepted to the International Journal of Human-Computer Studies</title><content type='html'>&lt;p&gt;The researchers from the &lt;a href="http://hcw.cs.manchester.ac.uk/"&gt;HCW lab&lt;/a&gt; had a journal paper accepted to the &lt;a href="http://www.elsevier.com/wps/find/"&gt;International Journal of Human-Computer Studies&lt;/a&gt;. The journal covers interdisciplinary research in computing, artificial intelligence, psychology, linguistics, communication, design, engineering, and social organisation.&lt;/p&gt;&lt;p&gt;The paper, titled "What Input Error Do You Experience? Typing and Pointing Errors of Mobile Web Users", is written by &lt;a href="http://homepages.cs.manchester.ac.uk/%7Echent"&gt;Tianyi Chen&lt;/a&gt;,  &lt;a href="http://homepages.cs.manchester.ac.uk/%7Eyesilady"&gt;Dr. Yeliz Yesilada&lt;/a&gt; and &lt;a href="http://homepages.cs.manchester.ac.uk/~sharper"&gt;Dr. Simon Harper&lt;/a&gt;. The paper presents a user study that&lt;br /&gt;investigates the input errors of mobile Web users in both typing and pointing. The study identifies six types of typing errors and three types of pointing errors shared between motor-impaired desktop users&lt;br /&gt;and mobile Web users. Results show that mobile Web users often confuse the different characters located on the same key, press keys that are adjacent to the target key, and miss certain key presses. When using a stylus, they also click in the wrong places, slide the stylus during multiple clicks, and make errors when dragging. Those results confirm that despite using different input devices, mobile Web users share common problems with motor-impaired desktop users; and it would be beneficial to transfer available solutions between these user domains in order to address their common problems. This work is part of the &lt;a href="http://hcw.cs.manchester.ac.uk/research/riam/"&gt;RIAM project&lt;/a&gt; funded by EPSRC (EP/E002218/1).&lt;/p&gt;&lt;div class="blogger-post-footer"&gt;&lt;img width='1' height='1' src='https://blogger.googleusercontent.com/tracker/22380834-5010009641891321414?l=www.cs.manchester.ac.uk%2Fimg%2Findex.php' alt='' /&gt;&lt;/div&gt;</content><link rel='edit' type='application/atom+xml' href='http://www.blogger.com/feeds/22380834/posts/default/5010009641891321414'/><link rel='self' type='application/atom+xml' href='http://www.blogger.com/feeds/22380834/posts/default/5010009641891321414'/><link rel='alternate' type='text/html' href='http://www.cs.manchester.ac.uk/img/2009/10/full-paper-accepted-to-international.php' title='Full paper accepted to the International Journal of Human-Computer Studies'/><author><name>Alex Q. Chen</name><uri>http://www.blogger.com/profile/05584278855540673631</uri><email>noreply@blogger.com</email><gd:extendedProperty xmlns:gd='http://schemas.google.com/g/2005' name='OpenSocialUserId' value='12274627446254384161'/></author></entry><entry><id>tag:blogger.com,1999:blog-22380834.post-8638989009869242212</id><published>2009-10-01T11:04:00.002Z</published><updated>2009-10-01T14:06:54.049Z</updated><title type='text'>Accessibility = Flexibility</title><content type='html'>&lt;p&gt;In a recent blog post at &lt;a title="Fluid Blog" href="http://blog.fluidcreativity.co.uk/"&gt; Fluid Blog&lt;/a&gt;, Dr. Simon Harper discusses why creating accessible Web pages also means making them future proof against changes in guidelines, recommendations, and design. To read more about&lt;br /&gt;&lt;a title="Accessibility = Flexibility" href="http://blog.fluidcreativity.co.uk/accessibility-flexibility/"&gt;Accessibility = Flexibility&lt;/a&gt; please visit &lt;a title="Accessibility = Flexibility" href="http://blog.fluidcreativity.co.uk/accessibility-flexibility/"&gt;http://blog.fluidcreativity.co.uk/accessibility-flexibility/&lt;/a&gt;&lt;/p&gt;&lt;div class="blogger-post-footer"&gt;&lt;img width='1' height='1' src='https://blogger.googleusercontent.com/tracker/22380834-8638989009869242212?l=www.cs.manchester.ac.uk%2Fimg%2Findex.php' alt='' /&gt;&lt;/div&gt;</content><link rel='edit' type='application/atom+xml' href='http://www.blogger.com/feeds/22380834/posts/default/8638989009869242212'/><link rel='self' type='application/atom+xml' href='http://www.blogger.com/feeds/22380834/posts/default/8638989009869242212'/><link rel='alternate' type='text/html' href='http://www.cs.manchester.ac.uk/img/2009/10/accessibility-flexibility.php' title='Accessibility = Flexibility'/><author><name>Alex Q. Chen</name><uri>http://www.blogger.com/profile/05584278855540673631</uri><email>noreply@blogger.com</email><gd:extendedProperty xmlns:gd='http://schemas.google.com/g/2005' name='OpenSocialUserId' value='12274627446254384161'/></author></entry><entry><id>tag:blogger.com,1999:blog-22380834.post-3564024637152349225</id><published>2009-09-21T14:35:00.001Z</published><updated>2009-09-21T14:37:49.072Z</updated><title type='text'>IMG Seminar 23rd September 2009</title><content type='html'>Title: The Complexity of Reasoning for Fragments of Default Logic&lt;br /&gt;&lt;br /&gt;Presenter: Arne Meier, University of Hannover&lt;br /&gt;&lt;br /&gt;Venue: 13.00 23rd September 2009 in Atlas 2, Kilburn Building&lt;br /&gt;&lt;br /&gt;Abstract:&lt;br /&gt;Default logic was introduced by Reiter in 1980. In 1992, Gottlob classified the complexity of the extension existence problem for propositional default logic as Sigma^P_2-complete, and the complexity of the credulous and skeptical reasoning problem as Sigma^P_2-complete, resp. Pi^P_2-complete. Additionally, he investigated restrictions on the default rules, i. e., semi-normal default rules. Selman made in 1992 a similar approach with disjunction-free and unary default rules. In this paper we systematically restrict the set of allowed propositional connectives. We give a complete complexity classification for all sets of Boolean functions in the meaning of Post's lattice for all three common decision problems for propositional default logic. We show that the complexity is a trichotomy (Sigma^P_2-, NP-complete, trivial) for the extension existence problem, whereas for the credulous and sceptical reasoning problem we get a finer classification down to NL-complete cases.&lt;div class="blogger-post-footer"&gt;&lt;img width='1' height='1' src='https://blogger.googleusercontent.com/tracker/22380834-3564024637152349225?l=www.cs.manchester.ac.uk%2Fimg%2Findex.php' alt='' /&gt;&lt;/div&gt;</content><link rel='edit' type='application/atom+xml' href='http://www.blogger.com/feeds/22380834/posts/default/3564024637152349225'/><link rel='self' type='application/atom+xml' href='http://www.blogger.com/feeds/22380834/posts/default/3564024637152349225'/><link rel='alternate' type='text/html' href='http://www.cs.manchester.ac.uk/img/2009/09/img-seminar-23rd-september-2009.php' title='IMG Seminar 23rd September 2009'/><author><name>Andy</name><email>noreply@blogger.com</email><gd:extendedProperty xmlns:gd='http://schemas.google.com/g/2005' name='OpenSocialUserId' value='00708349186876071035'/></author></entry><entry><id>tag:blogger.com,1999:blog-22380834.post-1191518000749337299</id><published>2009-09-02T13:34:00.002Z</published><updated>2009-09-02T13:40:39.114Z</updated><title type='text'>IMG Seminar 9th September 2009</title><content type='html'>Title: Population-based data source completeness measurement&lt;br /&gt;&lt;br /&gt;Presenter: Nurul Emran&lt;br /&gt;&lt;br /&gt;Venue: 13.00 9th September 2009 in Atlas 1, Kilburn Building&lt;br /&gt;&lt;br /&gt;Abstract:&lt;br /&gt;Concerns surrounding data source selection based on the quality aspects have been motivated by the consequences of poor quality data experienced by people in everyday life. In particular, completeness of a data source is one of the quality aspects that becomes the important basis of data source selection's decision-making process. Our research is aimed at providing systematic data source selection based on its completeness. In the research, we explored the complexity of measuring data source completeness which calls for a model that can neatly capture user requirements on multi-dimensional completeness-oriented data source selection. In this talk, I will specifically explain about population-based data source completeness measurement (PSCM) model, which is proposed to fulfil the gap in the current studies of data quality.&lt;div class="blogger-post-footer"&gt;&lt;img width='1' height='1' src='https://blogger.googleusercontent.com/tracker/22380834-1191518000749337299?l=www.cs.manchester.ac.uk%2Fimg%2Findex.php' alt='' /&gt;&lt;/div&gt;</content><link rel='edit' type='application/atom+xml' href='http://www.blogger.com/feeds/22380834/posts/default/1191518000749337299'/><link rel='self' type='application/atom+xml' href='http://www.blogger.com/feeds/22380834/posts/default/1191518000749337299'/><link rel='alternate' type='text/html' href='http://www.cs.manchester.ac.uk/img/2009/09/img-seminar-9th-september-2009.php' title='IMG Seminar 9th September 2009'/><author><name>Andy</name><email>noreply@blogger.com</email><gd:extendedProperty xmlns:gd='http://schemas.google.com/g/2005' name='OpenSocialUserId' value='00708349186876071035'/></author></entry><entry><id>tag:blogger.com,1999:blog-22380834.post-7648774362605205673</id><published>2009-08-26T14:16:00.002Z</published><updated>2009-08-26T15:52:25.005Z</updated><category scheme='http://www.blogger.com/atom/ns#' term='Web Accessibility'/><category scheme='http://www.blogger.com/atom/ns#' term='WIMWAT'/><category scheme='http://www.blogger.com/atom/ns#' term='Web 2.0'/><title type='text'>Doctoral Consortium Paper Accepted at ASSETS'09</title><content type='html'>&lt;p&gt;&lt;a onblur="try {parent.deselectBloggerImageGracefully();} catch(e) {}" href="http://www.sigaccess.org/common/images/assets2009_logo.png"&gt;&lt;img style="margin: 0pt 0pt 10px 10px; float: right; cursor: pointer; width: 200px; height: 250px;" src="http://www.sigaccess.org/common/images/assets2009_logo.png" alt="" border="0" /&gt;&lt;/a&gt;A Doctoral Consortium paper by &lt;a href="http://homepages.cs.manchester.ac.uk/%7Echenqa" title="Alex Q. Chen homepage"&gt;Alex Q. Chen&lt;/a&gt;, has been accepted at the &lt;a href="http://www.sigaccess.org/assets09/" title="11th International ACM SIGACCESS Conference"&gt;11th International ACM SIGACCESS Conference on Computers and Accessibility, Pittsburgh, PA, USA&lt;/a&gt;. The paper titled "Identifying Web Widgets for Accessible Web Content", summarizes the research project "Widget Identification and Modification for Web 2.0 Access Technologies (WIMWAT)". WIMWAT seeks to identify Web widgets from the Web page's source code, so that the methods employed by the widgets to dynamically update Web content can be evaluated for its accessibility. Through this approach, it is envisioned that widgets using methods that produces inaccessible content, can be modified into an accessible form during development. Thus, providing a conducive environment for Web developers/authors to develop Rich Internet Applications that delivers true accessible content.&lt;/p&gt;&lt;p&gt;The &lt;a href="http://www.sigaccess.org/assets09/submission/dc.php" title="ASSETS 2009 Doctoral Consortium"&gt;ASSETS 2009 Doctoral Consortium&lt;/a&gt; is funded by the &lt;a href="http://www.nsf.gov/" title="US National Science Foundation"&gt;US National Science Foundation&lt;/a&gt;.&lt;/p&gt;&lt;div class="blogger-post-footer"&gt;&lt;img width='1' height='1' src='https://blogger.googleusercontent.com/tracker/22380834-7648774362605205673?l=www.cs.manchester.ac.uk%2Fimg%2Findex.php' alt='' /&gt;&lt;/div&gt;</content><link rel='edit' type='application/atom+xml' href='http://www.blogger.com/feeds/22380834/posts/default/7648774362605205673'/><link rel='self' type='application/atom+xml' href='http://www.blogger.com/feeds/22380834/posts/default/7648774362605205673'/><link rel='alternate' type='text/html' href='http://www.cs.manchester.ac.uk/img/2009/08/doctoral-consortium-paper-accepted-at.php' title='Doctoral Consortium Paper Accepted at ASSETS&apos;09'/><author><name>Alex Q. Chen</name><uri>http://www.blogger.com/profile/05584278855540673631</uri><email>noreply@blogger.com</email><gd:extendedProperty xmlns:gd='http://schemas.google.com/g/2005' name='OpenSocialUserId' value='12274627446254384161'/></author></entry><entry><id>tag:blogger.com,1999:blog-22380834.post-3021341843815611149</id><published>2009-08-19T09:07:00.009Z</published><updated>2009-08-19T09:21:09.776Z</updated><category scheme='http://www.blogger.com/atom/ns#' term='Semantic Web'/><category scheme='http://www.blogger.com/atom/ns#' term='SKOS'/><category scheme='http://www.blogger.com/atom/ns#' term='W3C'/><title type='text'>W3C Publishes SKOS Recommendation</title><content type='html'>From Chaos, Order: SKOS Recommendation Helps Organize Knowledge&lt;br /&gt;&lt;br /&gt;The W3C today &lt;a href="http://www.w3.org/2009/07/skos-pr"&gt;announced&lt;/a&gt; publication of the &lt;a href="http://www.w3.org/TR/skos-reference/"&gt;Simple Knowledge Organization System (SKOS) Recommendation&lt;/a&gt;. SKOS builds a bridge    between the world of knowledge organization systems - including    thesauri, classifications, subject headings, taxonomies, and    folksonomies - and the linked data community, bringing benefits to    both.&lt;br /&gt;&lt;br /&gt;&lt;a href="http://www.cs.man.ac.uk/%7Eseanb"&gt;Sean Bechhofer&lt;/a&gt; of the Information Management Group was an editor of the Recommendation document. Other members of the IMG also provided valuable input to the process, including implementation experience.&lt;br /&gt;&lt;a href="http://www.w3.org/2009/07/skos-testimonial"&gt;&lt;/a&gt;&lt;div class="blogger-post-footer"&gt;&lt;img width='1' height='1' src='https://blogger.googleusercontent.com/tracker/22380834-3021341843815611149?l=www.cs.manchester.ac.uk%2Fimg%2Findex.php' alt='' /&gt;&lt;/div&gt;</content><link rel='edit' type='application/atom+xml' href='http://www.blogger.com/feeds/22380834/posts/default/3021341843815611149'/><link rel='self' type='application/atom+xml' href='http://www.blogger.com/feeds/22380834/posts/default/3021341843815611149'/><link rel='alternate' type='text/html' href='http://www.cs.manchester.ac.uk/img/2009/08/w3c-publishes-skos-recommendation.php' title='W3C Publishes SKOS Recommendation'/><author><name>Me</name><email>noreply@blogger.com</email><gd:extendedProperty xmlns:gd='http://schemas.google.com/g/2005' name='OpenSocialUserId' value='17127628402093712081'/></author></entry><entry><id>tag:blogger.com,1999:blog-22380834.post-5215647024789695826</id><published>2009-08-10T11:19:00.000Z</published><updated>2009-08-10T11:20:37.320Z</updated><category scheme='http://www.blogger.com/atom/ns#' term='Web Accessibility'/><category scheme='http://www.blogger.com/atom/ns#' term='EIVAA'/><title type='text'>Technical Paper Accepted at SIGDOC 2009 Indianapolis, USA</title><content type='html'>A technical paper titled, &amp;ldquo;The Transition From Web Content Accessibility Guidelines 1.0 to 2.0: What This Means For Evaluation and Repair&amp;rdquo; by &lt;a title= "Grace Mbipom's Homepage" href = "http://homepages.cs.manchester.ac.uk/~mbipomg"&gt;Grace Mbipom&lt;/a&gt; and &lt;a title= "Simon Harper's Homepage" href = "http://www.cs.man.ac.uk/~sharper/"&gt;Simon Harper&lt;/a&gt; has been accepted at  &lt;a title= "SIGDOC 2009 Homepage" href = "http://www.sigdoc.org/2009/index.html"&gt;SIGDOC 2009&lt;/a&gt;, Indianapolis, USA.  The paper discusses the implications of the transition for automated evaluation and repair in particular.  In addition, the authors motivate the need for the adoption of cross-disciplinary techniques for automated accessibility evaluation and repair of Web content.&lt;div class="blogger-post-footer"&gt;&lt;img width='1' height='1' src='https://blogger.googleusercontent.com/tracker/22380834-5215647024789695826?l=www.cs.manchester.ac.uk%2Fimg%2Findex.php' alt='' /&gt;&lt;/div&gt;</content><link rel='edit' type='application/atom+xml' href='http://www.blogger.com/feeds/22380834/posts/default/5215647024789695826'/><link rel='self' type='application/atom+xml' href='http://www.blogger.com/feeds/22380834/posts/default/5215647024789695826'/><link rel='alternate' type='text/html' href='http://www.cs.manchester.ac.uk/img/2009/08/technical-paper-accepted-at-sigdoc-2009.php' title='Technical Paper Accepted at SIGDOC 2009 Indianapolis, USA'/><author><name>Alex Q. Chen</name><uri>http://www.blogger.com/profile/05584278855540673631</uri><email>noreply@blogger.com</email><gd:extendedProperty xmlns:gd='http://schemas.google.com/g/2005' name='OpenSocialUserId' value='12274627446254384161'/></author></entry><entry><id>tag:blogger.com,1999:blog-22380834.post-366678650354838026</id><published>2009-07-30T13:01:00.001Z</published><updated>2009-07-30T13:04:05.758Z</updated><title type='text'>IMG Seminar 12th August 2009</title><content type='html'>Title: The Explicator Project: Integrating Astronomy Data with Semantic Web Tools&lt;br /&gt;&lt;br /&gt;Presenter: Alasdair Gray&lt;br /&gt;&lt;br /&gt;Venue: 13.00 12th August 2009 in Atlas 1, Kilburn Building&lt;br /&gt;&lt;br /&gt;Abstract:&lt;br /&gt;In this seminar I will report on the work conducted in the initial 18  months of the Explicator project which aims to use semantic web tools to integrate astronomy data. We addressed two of the key challenges  when integrating data from multiple heterogeneous sources: (i)  locating those data sources that contain data of interest, and (ii)  understanding the data models in order to pose a query to extract the  required data. For the first of these challenges, we investigated how to search for relevant source using SKOS encoded vocabularies and  information retrieval techniques. For the second we investigated the use of RDB2RDF tools for exposing existing relational data sources.&lt;div class="blogger-post-footer"&gt;&lt;img width='1' height='1' src='https://blogger.googleusercontent.com/tracker/22380834-366678650354838026?l=www.cs.manchester.ac.uk%2Fimg%2Findex.php' alt='' /&gt;&lt;/div&gt;</content><link rel='edit' type='application/atom+xml' href='http://www.blogger.com/feeds/22380834/posts/default/366678650354838026'/><link rel='self' type='application/atom+xml' href='http://www.blogger.com/feeds/22380834/posts/default/366678650354838026'/><link rel='alternate' type='text/html' href='http://www.cs.manchester.ac.uk/img/2009/07/img-seminar-12th-august-2009.php' title='IMG Seminar 12th August 2009'/><author><name>Andy</name><email>noreply@blogger.com</email><gd:extendedProperty xmlns:gd='http://schemas.google.com/g/2005' name='OpenSocialUserId' value='00708349186876071035'/></author></entry><entry><id>tag:blogger.com,1999:blog-22380834.post-9123156279336173066</id><published>2009-07-23T11:44:00.001Z</published><updated>2009-07-23T11:44:30.126Z</updated><category scheme='http://www.blogger.com/atom/ns#' term='Web Accessibility'/><category scheme='http://www.blogger.com/atom/ns#' term='Mobile Web'/><category scheme='http://www.blogger.com/atom/ns#' term='RIAM'/><title type='text'>Full Paper Accepted at ASSETS 2009 Pittsburgh</title><content type='html'>The researchers from the HCW lab had a full technical paper accepted at &lt;a href="http://www.sigaccess.org/assets09/"&gt;ASSETS 2009&lt;/a&gt;. &lt;a href="http://www.sigaccess.org/assets09/"&gt;The ASSETS&lt;/a&gt; conference explores the use of computing and information technologies to help persons with disabilities and older adults. This year it will be held in Pittsburgh, USA.&lt;br /&gt;&lt;br /&gt;This paper is part of a collaboration work between the UK EPSRC funded &lt;a href="http://hcw.cs.manchester.ac.uk/research/riam/"&gt;RIAM project&lt;/a&gt; (EP/E002218/1), and the University of Udine.  This full technical paper "&lt;a href="http://www.sigaccess.org/assets09/accepted/25.html"&gt;How Much Does Expertise Matter? A Barrier Walkthrough Study with Experts and Non-Experts&lt;/a&gt;" by &lt;a href="http://www.cs.man.ac.uk/%7Eyesilady/"&gt;Yeliz Yesilada&lt;/a&gt;, &lt;a href="http://users.dimi.uniud.it/%7Egiorgio.brajnik/"&gt;Giorgio Brajnik&lt;/a&gt; and &lt;a href="http://www.cs.man.ac.uk/%7Esharper/"&gt;Simon Harper&lt;/a&gt;, investigates the interplay between expert and non-expert evaluation by conducting a Barrier Walkthrough (BW) study with 19 expert and 51 non-expert judges. The BW method provides an evaluation framework that can be used to manually assess the accessibility of Web pages for different user groups including motor impaired, hearing impaired, low vision, cognitive impaired, etc. this paper concludes that the level of expertise is an important factor in the quality of accessibility evaluation of Web pages.  Expert judges spent significantly less time than non-experts; rated themselves as more productive and confident than non-experts; and ranked and rated pages differently against each type of disability. Finally, both effectiveness, which is the quality of finding all and only true accessibility problems, and reliability, which is the repeatability of the outcomes when used in different context, of the expert judges are significantly higher than non-expert judges.&lt;div class="blogger-post-footer"&gt;&lt;img width='1' height='1' src='https://blogger.googleusercontent.com/tracker/22380834-9123156279336173066?l=www.cs.manchester.ac.uk%2Fimg%2Findex.php' alt='' /&gt;&lt;/div&gt;</content><link rel='edit' type='application/atom+xml' href='http://www.blogger.com/feeds/22380834/posts/default/9123156279336173066'/><link rel='self' type='application/atom+xml' href='http://www.blogger.com/feeds/22380834/posts/default/9123156279336173066'/><link rel='alternate' type='text/html' href='http://www.cs.manchester.ac.uk/img/2009/07/full-paper-accepted-at-assets-2009.php' title='Full Paper Accepted at ASSETS 2009 Pittsburgh'/><author><name>Alex Q. Chen</name><uri>http://www.blogger.com/profile/05584278855540673631</uri><email>noreply@blogger.com</email><gd:extendedProperty xmlns:gd='http://schemas.google.com/g/2005' name='OpenSocialUserId' value='12274627446254384161'/></author></entry><entry><id>tag:blogger.com,1999:blog-22380834.post-5806980709039624851</id><published>2009-07-21T16:42:00.004Z</published><updated>2009-07-23T11:55:40.788Z</updated><category scheme='http://www.blogger.com/atom/ns#' term='Mobile Web'/><category scheme='http://www.blogger.com/atom/ns#' term='RIAM'/><title type='text'>Mobile Web and Web Content Accessibility</title><content type='html'>&lt;p&gt;The &lt;a href="http://www.w3.org/2005/MWI/BPWG/"&gt;Mobile Web Best Practices Working Group&lt;/a&gt; (&lt;abbr title="Mobile Web Best Practices Working Group"&gt;BPWG&lt;/abbr&gt;) and the &lt;a href="http://www.w3.org/WAI/EO/"&gt;WAI Education and Outreach Working Group&lt;/a&gt; (&lt;abbr title="WAI Education and Outreach Working Group"&gt;EOWG&lt;/abbr&gt;) published the W3C Working Group Note: &lt;a href="http://www.w3.org/TR/mwbp-wcag"&gt;Relationship between Mobile Web Best Practices (MWBP) and Web Content Accessibility Guidelines (WCAG)&lt;/a&gt;. Our lab member &lt;a href="http://www.cs.man.ac.uk/%7Eyesilady/"&gt;Dr. Yeliz Yesilada&lt;/a&gt; who is working on the &lt;a href="http://hcw.cs.manchester.ac.uk/research/riam/" title="The home page of RIAM"&gt;RIAM project&lt;/a&gt; made contributions to this document and also the other related published documents.&lt;/p&gt;&lt;p&gt;People with disabilities using computers have &lt;a href="http://www.w3.org/WAI/mobile/experiences" title="Shared Web Experiences: Barriers Common to Mobile Device Users and People with Disabilities"&gt;similar interaction limitations&lt;/a&gt; as people without disabilities who are using mobile devices. This note describes the similarities and differences between the requirements &lt;a href="http://www.w3.org/WAI/intro/wcag.php"&gt;Web Content Accessibility Guidelines&lt;/a&gt; (&lt;abbr title="Web Content Accessibility Guidelines"&gt;WCAG&lt;/abbr&gt;) and &lt;a href="http://www.w3.org/TR/mobile-bp/"&gt;Mobile Web Best Practices 1.0&lt;/a&gt; (&lt;abbr title="Mobile Web Best Practices"&gt;MWBP&lt;/abbr&gt;). Following these two guidelines makes your Web content more accessible to everyone regardless of situation, environment, or device. Designing the guidelines together, instead of separately, can make the process more efficient. This note includes the following pages:&lt;/p&gt;&lt;ul&gt;&lt;br /&gt;   &lt;li&gt;&lt;a href="http://www.w3.org/TR/mwbp-wcag/mwbp-wcag10.html" shape="rect"&gt;From MWBP  to WCAG 1.0&lt;/a&gt; and &lt;a href="http://www.w3.org/TR/mwbp-wcag/mwbp-wcag20.html" shape="rect"&gt;From MWBP  to WCAG 2.0&lt;/a&gt; are designed for those who already know MWBP and want to learn how they relate to the Web Content Accessibility Guidelines (WCAG).&lt;/li&gt;&lt;br /&gt;   &lt;li&gt;&lt;a href="http://www.w3.org/TR/mwbp-wcag/wcag10-mwbp.html" shape="rect"&gt;From WCAG 1.0 to MWBP&lt;/a&gt; and &lt;a href="http://www.w3.org/TR/mwbp-wcag/wcag20-mwbp.html" shape="rect"&gt;From WCAG 2.0  to MWBP&lt;/a&gt; are designed for those who already know WCAG and want to learn how it relates to the Mobile Web Best Practices (MWBP).&lt;/li&gt;&lt;br /&gt; &lt;/ul&gt;&lt;p&gt;Introductory information and links to related documents are in &lt;a href="http://www.w3.org/WAI/mobile/"&gt;Web Content Accessibility and Mobile Web: Making a Web Site Accessible Both for People with Disabilities and for Mobile Devices&lt;/a&gt;.&lt;/p&gt;&lt;div class="blogger-post-footer"&gt;&lt;img width='1' height='1' src='https://blogger.googleusercontent.com/tracker/22380834-5806980709039624851?l=www.cs.manchester.ac.uk%2Fimg%2Findex.php' alt='' /&gt;&lt;/div&gt;</content><link rel='edit' type='application/atom+xml' href='http://www.blogger.com/feeds/22380834/posts/default/5806980709039624851'/><link rel='self' type='application/atom+xml' href='http://www.blogger.com/feeds/22380834/posts/default/5806980709039624851'/><link rel='alternate' type='text/html' href='http://www.cs.manchester.ac.uk/img/2009/07/mobile-web-and-web-content.php' title='Mobile Web and Web Content Accessibility'/><author><name>Alex Q. Chen</name><uri>http://www.blogger.com/profile/05584278855540673631</uri><email>noreply@blogger.com</email><gd:extendedProperty xmlns:gd='http://schemas.google.com/g/2005' name='OpenSocialUserId' value='12274627446254384161'/></author></entry><entry><id>tag:blogger.com,1999:blog-22380834.post-1477238450152346228</id><published>2009-07-21T16:39:00.002Z</published><updated>2009-07-21T16:48:10.432Z</updated><category scheme='http://www.blogger.com/atom/ns#' term='Web Accessibility'/><category scheme='http://www.blogger.com/atom/ns#' term='MobileOK'/><category scheme='http://www.blogger.com/atom/ns#' term='Mobile Web'/><category scheme='http://www.blogger.com/atom/ns#' term='RIAM'/><title type='text'>The RIAM Project Contributes a New Extension to the W3C MobileOK Library</title><content type='html'>&lt;p&gt;The &lt;a href="http://hcw.cs.manchester.ac.uk/research/riam/" title="The home page of RIAM"&gt;RIAM project&lt;/a&gt; team is happy to announce that the team have contributed a new extension to the &lt;a href="http://dev.w3.org/cvsweb/2007/mobileok-ref/" title="W3C mobileOK open source Java library"&gt;W3C mobileOK open source library&lt;/a&gt;. This &lt;a href="http://www.w3.org/blog/BPWG/2009/07/02/first_extension_to_the_mobileok_checker_"&gt;extension&lt;/a&gt; can be used to validate pages served via the file URI scheme. The &lt;a href="http://dev.w3.org/cvsweb/2007/mobileok-ref/" title="W3C mobileOK open source Java library"&gt;W3C mobileOK open source Java library&lt;/a&gt; has been developed in such a way that it is very easy to extend. The RIAM team strongly encourages people to extend this library so that a better infrastructure is provided to designers for creating mobile-friendly content.&lt;/p&gt;&lt;p&gt;The mobileOK Basic Tests 1.0 Checker library provides a reference implementation of the tests specified in the &lt;a href="http://www.w3.org/TR/mobileOK/" title="W3C mobileOK Scheme 1.0"&gt;W3C mobileOK Scheme 1.0&lt;/a&gt;. This scheme requires that pages are served via HTTP protocol, however there might be some cases where validating pages that are stored locally would be useful. Therefore, this new extension has been created and can be used to validate pages served via file URI scheme. The extension is designed and implemented in a way that does not affect the basic reference implementation.  It is also important to note that validating pages only with this extension does not guarantee that the page is mobileOK as some tests require HTTP connection. This extension has to be used in-coordination with the &lt;a href="http://validator.w3.org/mobile/" title="W3C mobileOK Checker"&gt;W3C mobileOK Checker&lt;/a&gt; and does not replace the core &lt;a href="http://dev.w3.org/cvsweb/2007/mobileok-ref/" title="W3C mobileOK open source Java library"&gt;mobileOK library&lt;/a&gt;.&lt;/p&gt;&lt;p&gt;If one wants to use this extension with the main library then they need to &lt;a href="http://dev.w3.org/cvsweb/2007/mobileok-ref/extensions/filesupport/" title="W3C CVS repository"&gt;download and install it&lt;/a&gt;.&lt;/p&gt;&lt;p&gt;A &lt;a href="http://hcw-eprints.cs.man.ac.uk/87/" title="HCW data repository"&gt;technical documentation&lt;/a&gt; explains in detail how this extension can be installed and used.&lt;/p&gt;&lt;p&gt;This extension has been developed as part of the &lt;a href="http://gow.epsrc.ac.uk/" title="The home page of EPSRC"&gt;UK EPSRC&lt;/a&gt; funded &lt;a href="http://hcw.cs.manchester.ac.uk/research/riam/" title="The home page of RIAM project"&gt;RIAM (Reciprocal Interoperability of Accessible and Mobile Webs)&lt;/a&gt; project with the help of the &lt;a href="http://www.w3.org/2005/MWI/BPWG/Group/TaskForces/Checker/Overview.html" title="Mobile Web Best Practices Checker Task Force"&gt;Mobile Web Best Practices Checker Task Force&lt;/a&gt;.&lt;/p&gt;&lt;div class="blogger-post-footer"&gt;&lt;img width='1' height='1' src='https://blogger.googleusercontent.com/tracker/22380834-1477238450152346228?l=www.cs.manchester.ac.uk%2Fimg%2Findex.php' alt='' /&gt;&lt;/div&gt;</content><link rel='edit' type='application/atom+xml' href='http://www.blogger.com/feeds/22380834/posts/default/1477238450152346228'/><link rel='self' type='application/atom+xml' href='http://www.blogger.com/feeds/22380834/posts/default/1477238450152346228'/><link rel='alternate' type='text/html' href='http://www.cs.manchester.ac.uk/img/2009/07/riam-project-contributes-new-extension.php' title='The RIAM Project Contributes a New Extension to the W3C MobileOK Library'/><author><name>Alex Q. Chen</name><uri>http://www.blogger.com/profile/05584278855540673631</uri><email>noreply@blogger.com</email><gd:extendedProperty xmlns:gd='http://schemas.google.com/g/2005' name='OpenSocialUserId' value='12274627446254384161'/></author></entry><entry><id>tag:blogger.com,1999:blog-22380834.post-764692310099047792</id><published>2009-07-15T15:50:00.002Z</published><updated>2009-07-15T15:53:55.921Z</updated><title type='text'>IMG Seminar 22nd July 2009</title><content type='html'>Title: A Fair License Reselling Protocol for DRM-protected Content&lt;br /&gt;&lt;br /&gt;Presenter: Tarek Gaber&lt;br /&gt;&lt;br /&gt;Venue: 13.00 22nd July 2009 in Mercury, Kilburn Building&lt;br /&gt;&lt;br /&gt;Abstract:&lt;br /&gt;Current DRM technologies largely focus on the copyright protection, i.e. content owners' rights. The research community has not given due attentions to consumers’ rights. In particular, these DRM technologies do not permit consumers to resell their own digital content. Meanwhile, under the first sale doctrine, it is a legitimate right for consumers to resell what they possess (e.g. digital contents). It is therefore should be allowed and protected in the DRM context. In this paper, two protocols are presented to support fair license reselling for DRM-Protected content. The first protocol is a novel fair signature exchange protocol. This protocol makes use of a concurrent signatures scheme along with a license issuer as an off-line TTP. In comparison with the related work, this protocol has the following features: (1) it reduced the workload of the TTP and (2) it is simpler to implement&lt;br /&gt;The second protocol is a fair license reselling protocol for DRM-protected content. This protocol makes use the first protocol to provide fairness in the reselling process. In addition, it uses a license revocation concept to disable the reseller’s license once it is resold. The advantages of this protocol are two-fold. It does not require special devices (e.g. trusted device or smart card) to be maintained by the consumers to resell their licenses, thus making the deployment of the solution cost-effective. Additionally, there is no need for a second-hand store to be involved as an interface between the license issuer and consumers to help with the reselling process, thus reducing overhead costs.&lt;div class="blogger-post-footer"&gt;&lt;img width='1' height='1' src='https://blogger.googleusercontent.com/tracker/22380834-764692310099047792?l=www.cs.manchester.ac.uk%2Fimg%2Findex.php' alt='' /&gt;&lt;/div&gt;</content><link rel='edit' type='application/atom+xml' href='http://www.blogger.com/feeds/22380834/posts/default/764692310099047792'/><link rel='self' type='application/atom+xml' href='http://www.blogger.com/feeds/22380834/posts/default/764692310099047792'/><link rel='alternate' type='text/html' href='http://www.cs.manchester.ac.uk/img/2009/07/img-seminar-22nd-july-2009.php' title='IMG Seminar 22nd July 2009'/><author><name>Andy</name><email>noreply@blogger.com</email><gd:extendedProperty xmlns:gd='http://schemas.google.com/g/2005' name='OpenSocialUserId' value='00708349186876071035'/></author></entry><entry><id>tag:blogger.com,1999:blog-22380834.post-8310866890679240588</id><published>2009-07-08T13:08:00.002Z</published><updated>2009-07-15T15:52:32.213Z</updated><title type='text'>IMG Seminar 15th July 2009</title><content type='html'>Title: The Benefits of Semantic Structure in Peer-to-peer Networks&lt;br /&gt;&lt;br /&gt;Presenter: Peter Weistroffer, University of Virginia&lt;br /&gt;&lt;br /&gt;Venue: 13.00 15th July 2009 in Atlas 1, Kilburn Building&lt;br /&gt;&lt;br /&gt;Abstract:&lt;br /&gt;Peer-to-peer (P2P) technologies offer benefits in scalability, low overhead, and reduced startup costs that can be advantageous for data sharing and service discovery in the scientific community, in addition to their currently popular uses in music sharing, etc. However, current P2P systems suffer from problems such as poor search completeness guarantees, superlinear growth in message traffic, severe restrictions in allowable search queries, or a need for large centralized components. In this presentation we build on the work of Semantic Overlay Networks and show how ontologies can be used to organize hierarchical overlay networks. The combination of this structure with a simple caching scheme yields significant benefits in search efficiency and completeness, while also allowing browsing and general search queries. The additional costs per user are small and the assumptions applicable to a wide range of subjects. The second half of the talk will focus on ways to relax these assumptions and further benefits that can be gained from semantic information in the system. Last we show how this work fits into the larger goal of creating a communally organized and tagged system for sharing files and data with high usability and no large resource requirements.&lt;div class="blogger-post-footer"&gt;&lt;img width='1' height='1' src='https://blogger.googleusercontent.com/tracker/22380834-8310866890679240588?l=www.cs.manchester.ac.uk%2Fimg%2Findex.php' alt='' /&gt;&lt;/div&gt;</content><link rel='edit' type='application/atom+xml' href='http://www.blogger.com/feeds/22380834/posts/default/8310866890679240588'/><link rel='self' type='application/atom+xml' href='http://www.blogger.com/feeds/22380834/posts/default/8310866890679240588'/><link rel='alternate' type='text/html' href='http://www.cs.manchester.ac.uk/img/2009/07/img-seminar-15th-july-2009.php' title='IMG Seminar 15th July 2009'/><author><name>Andy</name><email>noreply@blogger.com</email><gd:extendedProperty xmlns:gd='http://schemas.google.com/g/2005' name='OpenSocialUserId' value='00708349186876071035'/></author></entry><entry><id>tag:blogger.com,1999:blog-22380834.post-4177412285858027996</id><published>2009-07-06T11:06:00.002Z</published><updated>2009-07-06T14:22:12.481Z</updated><title type='text'>IMG Seminar 8th July 2009</title><content type='html'>Title: Adaptive Secure Routing Protocol for Mobile Ad hoc Network&lt;br /&gt;&lt;br /&gt;Presenter: Kitisak Osathanunkul&lt;br /&gt;&lt;br /&gt;Venue: 13.00 8th July 2009 in Atlas 1, Kilburn Building&lt;br /&gt;&lt;br /&gt;Abstract:&lt;br /&gt;In ad hoc networks, a routing algorithm is one of the most important components to perform a routing function. Each routing algorithm has its own advantages and disadvantages depending on application domains. In existing routing protocols, only one routing algorithm can be selected in order to make a routing decision. Users need to decide which algorithm is the most efficient for the intended application domain. As a result, the routing performance of the non-considered application domains is affected. The traditional routing architecture is not efficient to be applied to operate different application domains simultaneously. In addition, at the present mobile nodes are getting more capable to operate more than one application in the same network. Therefore, there is a need to develop a new routing architecture to accommodate several applications simultaneously.&lt;br /&gt;We purpose an adaptive routing architecture for ad hoc networks. Our aims are to reduce the inefficient routing performance caused by using an inappropriate routing algorithm, and developing a mechanism to select an appropriate routing algorithm for operating different application domains simultaneously. In this talk, we will discuss why we need the adaptive routing architecture in ad hoc networks, what mechanism is used to select a routing architecture and lastly, how mobile nodes make routing decisions based on different routing information.&lt;div class="blogger-post-footer"&gt;&lt;img width='1' height='1' src='https://blogger.googleusercontent.com/tracker/22380834-4177412285858027996?l=www.cs.manchester.ac.uk%2Fimg%2Findex.php' alt='' /&gt;&lt;/div&gt;</content><link rel='edit' type='application/atom+xml' href='http://www.blogger.com/feeds/22380834/posts/default/4177412285858027996'/><link rel='self' type='application/atom+xml' href='http://www.blogger.com/feeds/22380834/posts/default/4177412285858027996'/><link rel='alternate' type='text/html' href='http://www.cs.manchester.ac.uk/img/2009/07/img-seminar-8th-july-2009.php' title='IMG Seminar 8th July 2009'/><author><name>Andy</name><email>noreply@blogger.com</email><gd:extendedProperty xmlns:gd='http://schemas.google.com/g/2005' name='OpenSocialUserId' value='00708349186876071035'/></author></entry></feed>