In order that epistemic formulas might be coupled with approximate databases, it is necessary to have a well-defined semantics for the knowledge operator and a method of reducing epistemic formulas to approximate formulas. In this thesis, two possible definitions of a semantics for the knowledge operator are proposed for use together with an approximate relational [...]
The Java Memory Model
After many years, support for multithreading has been integrated into mainstream programming languages. Inclusion of this feature brings with it a need for a clear and direct explanation of how threads interact through memory. Programmers need to be told, simply and clearly, what might happen when their programs execute. Compiler writers need to be able [...]
Contextual Advertising Online
The internet advertising market is growing much faster than any other advertising vertical. The technology for serving advertising online goes more and more towards automated processes that analyze the page content and the user’s preferences and then matches the ads with these parameters.The task at hand was to research and find methods that could be [...]
Framework for Requirements Traceability
According to Sommerville & Sawyer [18] requirement engineering involves the activities for discovering, documenting and maintaining a set of requirements for a computer-based system. Requirement engineering activities are often divided into five categories. These categories include requirement elicitation, requirement analysis, requirement specification, requirement validation and requirement management. Abstract Requirements traceability provides support for many software [...]
Association rules analysis for objects hierarchy
Association rules are one of the most popular methods of data mining. This technique allows to discover interesting dependences between objects. The thesis concerns on association rules for hierarchy of objects. As a multi–level structure is used DBLP database, which contains bibliographic descriptions of scientific papers conferences and journals in computer science. The main goal [...]
Load management for a telecom charging system
There are a huge number of customers using Ericsson’s prepaid telecom charging system. This means that even the smallest optimization done in its management of load results in a big win when considering time and CPU usage. Ericsson wishes therefore to learn about how the load management can be improved considering speed, i.e. faster response [...]
Feasibility study of application and implementation of customer relationship management (CRM) in hotel industry
The purpose of this thesis is feasibility study of Customer Relationship Management (CRM) application in hotel industry. With increased globalization, competition, higher customer turnover, growing customer acquisition costs and rising customer expectations in today competitive word CRM is very important for several companies and received an increasing amount of interest among scholars and practitioner especially [...]
Forensic Carving from Unallocated Space
Computer Forensics investigations have become more and more common while investigating IT-related issues. From experience, hard disks, USB thumb, memory sticks contains information that might be useful. Computer Forensics is regularly conducted by Police, Customs, Tax investigators but also within private companies and organizations. However, there are areas within the storage device that are not [...]
Modelling web applications WebML versus UML
In the early stages of web application development, web developers built the solution without considering the documentation and modelling of the application. Today companies experience problems when working with the management of web applications, due to that they grow in size and new requirements are added. In response to this web developers become more and [...]
Achieving Safe DICOM Software in Medical Devices
This paper reports on an investigation on how to produce a reliable software component to extract critical information from DICOM files. The component shall manipulate safety-critical medical information, i.e. patient demographics and data specific to radiotherapy treatments including radiation target volumes and doses intensity. Handling such sensitive data can potentially lead to medical errors, and [...]