Cases like Target.com show that there is still uncertainty about the precise meaning of “web accessibility”, about how to identify accessibility problems, and about when to claim that a web site is accessible. In this paper I suggest that the only way to change this is by focussing on sustainable accessibility, i.e. by shaping and establishing effective accessibility processes that can be susta...

Our paper proposes a technique for performing logical analysis over the calculi for communication and mobility, i.e., Ambient Calculus type of calculi. We show how this analysis can be used in the case of biological models in order to obtain significant information for biologists. The technique is based on set theoretical models we developed for ambient processes by using the power of Hypersets...

This dissertation consists of five papers and an introduction. In Barriers in travel models, the focus is on modelling mobility in border regions, both borders within nations and between nations. We use travel surveys and networks from Sweden and Norway to model the barrier effect caused by the borders in the region between two counties on each side of the national border. In Identifying local ...

We propose a way of performing model checking analysis for biological systems. The technics were developed for a CTL* logic built upon Ambient Calculus. We introduce labeled syntax trees for ambient processes and use them as possible worlds in a Kripke structure developed for a propositional branching temporal logic. The accessibility relation over labeled syntax trees is generated by the reduc...

Unstructured data, which is the heart of big data, are generating in every moment due to the revolution of Internet. Relational data model is not the right tool to handle such unstructured data because it has limitation of scalability, accessibility, flexibility, agility and in addition redundancy in database. In order to resolve those flaws of relational data model, a number of non-relational ...

Intelligent environment research has benefited medical care in a number of ways, including emergency detection, comfort and accessibility. However, most of these techniques have been applied in the context of a single resident, leaving out situations where there is more than one person in the living space. A current looming issue for intelligent environment systems is performing these same tech...

Background: Pipeline maintenance is becoming an important issue in modern construction and building information model (BIM) research. An understanding of pipeline accessibility considerations in terms of operation and maintenance is essential for planning and management. Previous studies have highlighted the complexity of multi-pipes including mechanical, electrical and plumbing (MEP) pipelines...

Objects needs verification through statistical model in software development process which are important in software industries now a day. Software development process consist of several steps right from analysis to deployment and maintenance, therefore statistical model would certainly analyses object(s) and its various qualities and its relationship during software development process. Earlie...

The trend in content-based systems (CBSs) is shifting towards the use of ontologies to semantically enrich the content and increase its accessibility. The growing need of semantically rich content becomes a driving force for building ontology-driven content-based systems (ODCBSs). The building blocks of ODCBSs are ontologies, content and annotations, forming a layered information model. In most...