228 research outputs found
Embedding ASMs into state transition diagrams
This report relates Abstract State Machines (ASMs)
with a particular diagram type of UML, the
Sate Transition Diagrams (STDs).
The principles of translating ASMs
into STDs are discussed and demonstrated in four case studies
DYNAMIC VALUE-LOGIC-MAPPING: A METHOD FOR MAKING CHANGES DUE TO DIGITAL ECONOMY VISIBLE IN A BUSINESS MODEL
Quality of Service and Predictability in DBMS
DBMS are a ubiquitous building block of the software stack in many complex applications. Middleware technologies, application servers and mapping approaches hide the core database technologies just like power, networking infrastructure and operating system services. Furthermore, many enterprise-critical applications demand a certain degree of quality of service (QoS) or guarantees, e.g. wrt. response time, transaction throughput, latency but also completeness or more generally quality of results. Examples of such applications are billing systems in telecommunication, where each telephone call has to be monitored and registered in a database, Ecommerce applications where orders have to be accepted even in times of heavy load and the waiting time of customers should not exceed a few seconds, ERP systems processing a large number of transactions in parallel, or systems for processing streaming or sensor data in realtime, e.g. in process automation of traffic control. As part of complex multilevel software stack, database systems have to share or contribute to these QoS requirements, which means that guarantees have to be given by the DBMS, too, and that the processing of database requests is predictable. Todays mainstream DBMS typically follow a best effort approach: requests are processed as fast as possible without any guarantees: the optimization goal of query optimizers and tuning approaches is rather to minimize resource consumption instead of just fulfilling given service level agreements. However, motivated by the situation described above there is an emerging need for database services providing guarantees or simply behave in a predictable manner and at the same time interact with other components of the software stack in order to fulfill the requirements. This is also driven by the paradigm of service-oriented architectures widely discussed in industry. Currently, this is addressed only by very specialized solutions. Nevertheless, database researchers have developed several techniques contributing to the goal of QoS-aware database systems. The purpose of the tutorial is to introduce database researchers and practitioners to the scope, the challenges and the available techniques to the problem of predictability and QoS agreements in DBMS
Database as a service (DBaaS)
Modern Web or ¿Eternal-Beta¿ applications necessitate a flexible and easy-to-use data management platform that allows the evolutionary development of databases and applications. The classical approach of relational database systems following strictly the ACID properties has to be extended by an extensible and easy-to-use persistency layer with specialized DB features. Using the underlying concept of Software as a Service (SaaS) also enables an economic advantage based on the ¿economy of the scale¿, where application and system environments only need to be provided once but can be used by thousands of users. Within this tutorial, we are looking at the current state-of-the-art from different perspectives. We outline foundations and techniques to build database services based on the SaaS-paradigm. We discuss requirements from a programming perspective, show different dimensions in the context of consistency and reliability, and also describe different non-functional properties under the umbrella of Service-Level agreements (SLA)
How to Improve Accessibility of Natural Areas: About the Relevance of Providing Information on Accessible Services and Facilities in Natural Areas
Accessibility is a topic of increasing importance concerning all fields of life. This is underlined by current legislation as well as social meaning and economic benefits related to accessibility. Due to recent demographic changes in society characterised by steadily growing numbers of the elderly (with age-related physical deficits), enabling people with disabilities to manage their everyday independently gets even more important. However, in order to fully participate in life self-determined, the disabled demand for barrier free infrastructure in many ways. This is particularly true in terms of tourist and recreational activities in natural areas. At that, positive effects of being in nature (e.g. on people’s physical health and mental well-being as well as integration and family solidarity) are even more relevant for disabled people than for others.
While many efforts exist on offering and improving barrier free services and facilities on-site, it seems that there is a lack of off-site material informing persons with disabilities of accessible services and facilities available in natural areas. That is surprising, since today, rapid advances in information and communication technologies offer many ways to provide digital, i.e. web-based solution suitable to impart all kinds of information and to meet the needs of disabled people. Concerning the spatial reference of nature-based recreation, i.e. in order to communicate location and spatial relationship of services and facilities, web-based maps are a central means of communication.
But, which information regarding tourist and recreational visits of natural areas is required by disabled visitors? How to present this information to the target group in an accessible and useful way? How to design and integrate web-based maps as powerful tool to impart spatial information? Based on research conducted within the project “senTOUR”, this paper aims to offer suggestions for proving accessible digital information in order to support recreational and tourist activities in natural areas for disabled visitors, i.e. for the elderly who often suffer from age-related physical deficits
Making Affine Correspondences Work in Camera Geometry Computation
Local features e.g. SIFT and its affine and learned variants provide region-to-region rather than point-to-point correspondences. This has recently been exploited to create new minimal solvers for classical problems such as homography, essential and fundamental matrix estimation. The main advantage of such solvers is that their sample size is smaller, e.g., only two instead of four matches are required to estimate a homography. Works proposing such solvers often claim a significant improvement in run-time thanks to fewer RANSAC iterations. We show that this argument is not valid in practice if the solvers are used naively. To overcome this, we propose guidelines for effective use of region-to-region matches in the course of a full model estimation pipeline. We propose a method for refining the local feature geometries by symmetric intensity-based matching, combine uncertainty propagation inside RANSAC with preemptive model verification, show a general scheme for computing uncertainty of minimal solvers results, and adapt the sample cheirality check for homography estimation. Our experiments show that affine solvers can achieve accuracy comparable to point-based solvers at faster run-times when following our guidelines. We make code available at https://github.com/danini/affine-correspondences-for-camera-geometry
The pulmonary microvascular endothelial barrier function is controlled by the PGE2-EP4 signaling axis
- …