Web Applications

HTC Wildfire S Cases for Next Generation are here finally

by Loveneet S

Keywords:HTC Wildfire S covers, HTC Wildfire S cases UK, best HTC Wildfire S cases,HTC Wildfire S Cases,

Looking for HTC Wildfire S cover or case?at the most affordable prices in UK we offer you with wide variety of best... more Looking for HTC Wildfire S cover or case?at the most affordable prices in UK we offer you with wide variety of best HTC Wildfire S cases UK Cover your HTC Wildfire S with our selection of HTC Wildfire S cases and covers. One Stop online store for all your HTC Wildfire S Cases, Wildfire S Cases including Belt Clips, Fashion Cases, Hard Cases .

A web-based rights management system for developing trusted value networks

by Silvia Llorente

Basic Vulnerabilities in CLI and CGI based Applications

by Declan Williams

For this report, I was given the task of auditing two seperate applications, one CLI and one CGI, and challenged to... more For this report, I was given the task of auditing two seperate applications, one CLI and one CGI, and challenged to audit, exploit, patch and report on vulnerabilities found.

It covers the theory behind Buffer overflows, LD_PRELOAD hooking, SQLi, XSS and other common vulnerabilities.

Pricing Internet Services: Approaches and Challenges

by Lee McKnight

Providing accessibility to blind people using GIS

by Hugo Fernandes

Authors: Fernandes, H., Conceição, N., Paredes, H., Pereira, A., Araújo, P., Barroso, J.

In everyday life, people need to move, whether in business or leisure. Navigation requires spatial knowledge and... more In everyday life, people need to move, whether in business or leisure. Navigation requires spatial knowledge and ability to make decisions based on geographic information. Recently, powerful tools have been developed, enhancing the capabilities of geographical analysis and decision making. This work presents a platform to handle and provide geographic information, including accessibility-oriented features. This Geographic Information System (GIS) is part of a wider project, called SmartVision. The aim of this project is to create a system that allows blind users to navigate in the University of Trás-os-Montes and Alto Douro (UTAD) campus. The GIS platform, together with other modules of the SmartVision system prototype, provides information to blind users, assisting their navigation and giving alerts of nearby points-of-interest or obstacles. Together with the GIS platform, this paper also describes the handling of accessibility information by the SmartVision prototype, namely the Navigation Module, the Computer Vision Module and the Interface Module.

Using GIS platforms to support accessibility: the case of GIS UTAD

by Hugo Fernandes

Authors: Fernandes, H., Telmo, A., Conceição, N., Paredes, H., Araújo, P., Barroso, J.

In everyday life, people need to move, whether in business or leisure. Navigation requires spatial knowledge and... more In everyday life, people need to move, whether in business or leisure. Navigation requires spatial knowledge and ability to make decisions based on geographic information. Recently, powerful tools have been developed, enhancing the capabilities of geographical analysis and decision making. This work presents a platform to handle and provide geographic information, including accessibility-oriented features. This Geographic Information System (GIS) is part of a wider project, called SmartVision. The aim of this project is to create a system that allows blind users to navigate in the University of Trás-os-Montes and Alto Douro (UTAD) campus. The GIS platform, together with other modules of the SmartVision system prototype, provides information to the blind user, assisting his navigation and giving alerts of nearby points-of-interest or obstacles. Together with the GIS platform, this paper also describes how the interface between user and prototype is implemented and how the geographic information is handled to assist the navigation.

Web platform architecture to support the Geographic Information System of the University of Trás-os-Montes and Alto Douro Campus

by Hugo Fernandes

Authors: José Almeida, Hugo Fernandes, Vitor Filipe, João Barroso

The spread of the Internet throughout society has sparked a revolution in the way many areas of knowledge are... more The spread of the Internet throughout society has sparked a revolution in the way many areas of knowledge are promoted. Geographic Information Systems (GIS) are, potentially, such an area. By distributing geospatial information and ways to manipulate it across the Web, a universal broadcast service is achieved, allowing users to access data anywhere. Geographic Information (GI) is usually the realm of specialized companies, and the client’s role is often limited to consuming such information.
This project aims to conceive a prototype of an architecture that allows the visualization of the Geographic Information System of University of Trás-os-Montes and Alto Douro.
This prototype will also be used to feed other systems, also being developed, like navigation systems based on GPS to help people with disabilities, namely, blind users.

Protecting Private Web Content from Embedded Scripts

by David Evans

Yuchen Zhou and David Evans
European Symposium on Research in Computer Security (ESORICS 2011)
Lueven, Belguim
12-14 September 2011

Many web pages display personal information provided by users. The goal of this work is to protect that content from... more Many web pages display personal information provided by users. The goal of this work is to protect that content from untrusted scripts that are embedded in host pages. We present a browser modification that provides fine-grained control over what parts of a document are visible to different scripts, and executes untrusted scripts in isolated environments where private information is not accessible. To ease deployment, we present a method for automatically inferring what nodes in a web page contain private content. This paper describes how we modify the Chromium browser to enforce newly defined security policies, presents our automatic policy generation method, and reports on experiments inferring and enforcing privacy policies for a variety of web applications.

SXC-JMS: A Web-based Journal Management System

by Sahon Bhattacharyya

Presented at and published in the proceedings of the International Workshop on Software Engineering & Applications (JSE - 2012).

(Co-authored with Kalyan Mondal and two other supervisors)

Due to immense advances in internet technologies in recent times, the entire method of maintenance and publication of... more Due to immense advances in internet technologies in recent times, the entire method of maintenance and publication of journals has changed drastically. People prefer journals to be published online rather than to be published in printed form because of cost and availability. An online journal has multifaceted advantages, such as for example, publication time is instantaneous and the Editor can almost single-handedly manage the entire publication process. The readers can access the journal contents from anywhere and at anytime. By moving towards web-based journal systems, not only are we saving money, we are also making the transition towards the paradigms of green computing. In the United States and many European countries, most of the IT related journals are published online over the World Wide Web. India is also moving very fast in this direction. In this paper the authors have given a brief idea how to develop a web-based Journal Management System with all possible options in functionality and security. In the present research paper, the authors have demonstrated the first phase of the work and it will be implemented very soon in the authors’ parent institution.

Educating the citizen of academia online?

by Mariann Solberg

Scientific LogAnalyzer: A Web-based tool for analyses of server log files in psychological research.

by Ulf-Dietrich Reips

Co-autored by Stieger, S., published 2004 in Behavior Research Methods, Instruments, & Computers, 36, 304-311.

Scientific LogAnalyzer is a platform-independent interactive Web service for the analysis of log files. Scientific... more Scientific LogAnalyzer is a platform-independent interactive Web service for the analysis of log files. Scientific LogAnalyzer offers several features not available in other log file analysis tools — for example, organizational criteria and computational algorithms suited to aid behavioral and social scientists. Scientific LogAnalyzer is highly flexible on the input side (unlimited types of log file formats), while strictly keeping a scientific output format. Features include (1) free definition of log file format, (2) searching and marking dependent on any combination of strings (necessary for identifying conditions in experiment data), (3) computation of response times, (4) detection of multiple sessions, (5) speedy analysis of large log files, (6) output in HTML and/or tab-delimited form, suitable for import into statistics software, and (7) a module for analyzing and visualizing drop-out. Several methodological features specifically needed in the analysis of data collected in Internet-based experiments have been implemented in the Web-based tool and are described in this article. A regression analysis with data from 44 log file analyses shows that the size of the log file and the domain name lookup are the two main factors determining the duration of an analysis. It is less than a minute for a standard experimental study with a 2 X 2 design, a dozen Web pages, and 48 participants (ca. 800 lines, including data from drop-outs). The current version of Scientific LogAnalyzer is freely available for small log files. Its Web address is h

The technology landscape of wireless web

by Damianos Gavalas

Building database-backed Web applications: Process and issues

by Stephen Westman

Generalized profitable tour problems for an online activity routing system

by Joseph Chow

Chow, J.Y.J., Liu, H., 2012. Generalized profitable tour problems for an online activity routing system. Transportation Research Record, accepted for publication.

A next generation online route guidance and activity recommendation system is studied for supporting decisions related... more A next generation online route guidance and activity recommendation system is studied for supporting decisions related to selecting multiple activities considering both the activity utilities with their spatial proximities and scheduling them for a user. To solve the underlying problem, extensions of the profitable tour problems and prize collecting traveling salesman problems to generalized cases—by expanding single nodes to clusters—are proposed to handle different activity types. The generalized formulations are shown to address a number of different uses including routing with refueling, the Pub Crawl Problem, and the Romantic Date Problem. Test cases are conducted to compare an insertion heuristic and a multi-solution genetic algorithm with exact solutions to provide further insight. Both algorithms work quite well even with time window constraints and considering the need for fast computational times in an online decision support environment. The multi-solution genetic algorithm tends to be slower than the insertion heuristic, but it can handle a wider variety of problems and can also provide a set of solutions from which a user can browse to account for unobserved preferences.

Reappraising cognitive styles in adaptive web applications

by Elizabeth FitzGerald (née Brown)

Full citation:
Brown, E., Brailsford, T., Fisher, T., Moore, A. and H. Ashman (2006) Reappraising cognitive styles in adaptive web applications. Proceedings of the 15th International World Wide Web Conference (WWW2006), Edinburgh, UK, 22-26 May 2006, pp327-335.

The mechanisms for personalisation used in web applications are currently the subject of much debate amongst... more The mechanisms for personalisation used in web applications are currently the subject of much debate amongst researchers from many diverse subject areas. One of the most contemporary ideas for user modelling in web applications is that of cognitive styles, where a user’s psychological preferences are assessed stored in a database and then used to provide personalised content and/or links. We describe user trials of a case study that utilises visual-verbal preferences in an adaptive web-based educational system (AWBES). Students in this trial were assessed by the Felder-Solomon Inventory of Learning Styles (ILS) instrument, and their preferences were used as a means of content personalisation.

Contrary to previous findings by other researchers, we found no significant differences in performance between matched and mismatched students. Conclusions are drawn about the value and validity of using cognitive styles as a way of modelling user preferences in educational web applications.

Runtime Verification for the Web: A Tutorial Introduction to Interface Contracts in Web Applications

by Sylvain Hallé

Hallé, S., Villemaire, R. (2010). Proc. of the First International Conference on Runtime Verification (RV 2010), Springer: Lecture Notes in Computer Science 6418, 106-121.

This tutorial presents an introduction to the monitoring of web applications. These applications run in a user's web... more This tutorial presents an introduction to the monitoring of web applications. These applications run in a user's web browser and exchange requests and responses with a server in the background to update their display. A demo application, called the Beep Store, illustrates why complex properties on this exchange must be verified at runtime. These properties can be formalized using an extension of Linear Temporal Logic called LTL-FO+. The tutorial concludes with the presentation of BeepBeep, a lightweight runtime monitor for web applications.

Eliminating Navigation Errors in Web Applications via Model Checking and Runtime Enforcement of Navigation State Machines

by Sylvain Hallé

Sylvain Hallé, Taylor Ettema, Chris Bunch, Tevfik Bultan. (2010). Proceedings of the 25th IEEE/ACM International Conference on Automated Software Engineering (ASE 2010), ACM, 235-244. (Acceptance rate: 17%)

The enforcement of navigation constraints in web applications is challenging and error prone due to the unrestricted... more The enforcement of navigation constraints in web applications is challenging and error prone due to the unrestricted use of navigation functions in web browsers. This often leads to navigation errors, producing cryptic messages and exposing information that can be exploited by malicious users. We propose a runtime enforcement mechanism that restricts the control flow of a web application to a state machine model specified by the developer, and use model checking to verify temporal properties on these state machines. Our experiments, performed on three real-world applications, show that 1) our runtime enforcement mechanism incurs negligible overhead under normal circumstances, and can even reduce server processing time in handling unexpected requests; 2) by combining runtime enforcement with model checking, navigation correctness can be efficiently guaranteed in large web applications.

Browser-Based Enforcement of Interface Contracts In Web Applications With BeepBeep

by Sylvain Hallé

Sylvain Hallé, Roger Villemaire. Proceedings of the 20th Conference on Computer Aided Verification (CAV 2009). Springer: Lecture Notes in Computer Science 5643, 648-653.

BeepBeep is a lightweight runtime monitor for Ajax web applications. Interface specifications are expressed internally... more BeepBeep is a lightweight runtime monitor for Ajax web applications. Interface specifications are expressed internally in an extension of LTL with first-order quantification; they can be transparently enforced on the client side using a small and invisible Java applet. Violations of the specification are reported on-the-fly and prevent erroneous or out-of-sequence XML messages from reaching the server.

Runtime Verification of Web Service Interface Contracts

by Sylvain Hallé

Sylvain Hallé, Tevfik Bultan, Graham Hughes, Muath Alkhalaf, Roger Villemaire. IEEE Computer, March 2010, 59-66.

Experiments with the Amazon E-Commerce Service demonstrate the advantages of using a model-based approach for the... more Experiments with the Amazon E-Commerce Service demonstrate the advantages of using a model-based approach for the runtime testing and monitoring of Web applications.

Il progetto Minerva: un modello comune per il web culturale di qualita

by Pierluigi Feliciati