English
Related papers

Related papers: Visitor Pattern: Implementation of Enquiry Pattern…

200 papers

When the inverse of an algorithm is well-defined -- that is, when its output can be deterministically transformed into the input producing it -- we say that the algorithm is invertible. While one can describe an invertible algorithm using a…

Programming Languages · Computer Science 2022-12-07 Joachim Tilsted Kristensen , Robin Kaarsgaard , Michael Kirkedal Thomsen

In recent years, mobile operations have gained wide popularity among mainstream users, and banks tend to follow this trend. But are bank customers ready to move forward? Mobile banking appears to be a natural extension of Internet banking.…

Computers and Society · Computer Science 2013-12-12 Joao Pedro Couto , Teresa Tiago , Flavio Tiago

Behaviour-Driven Development (BDD) has emerged in the last years as a powerful methodology to specify testable and executable user requirements through stories and scenarios. With the support of external testing frameworks, BDD stories can…

Software Engineering · Computer Science 2022-09-14 Thiago Rocha Silva , Marco Winckler

Numerous process discovery techniques exist for generating process models that describe recorded executions of business processes. The models are meant to generalize executions into human-understandable modeling patterns, notably…

Software Engineering · Computer Science 2021-09-15 Dennis Brons , Roeland Scheepens , Dirk Fahland

Building Information Modeling (BIM) produces three-dimensional models of buildings combining the geometrical information with a wide range of properties. BIM is slowly but inevitably revolutionizing the architecture, engineering, and…

Logic in Computer Science · Computer Science 2022-05-19 Joaquín Arias , Seppo Törmä , Manuel Carro , Gopal Gupta

In this paper, we present our software-supported method for analyzing the economic feasibility of business models. The method integrates the business models and business processes perspectives for analyzing how a company appropriates the…

Computers and Society · Computer Science 2019-09-30 Egon Lüftenegger , Selver Softic

We demonstrate, by a number of examples, that information-flow security properties can be proved from abstract architectural descriptions, that describe only the causal structure of a system and local properties of trusted components. We…

Cryptography and Security · Computer Science 2016-01-05 Stephen Chong , Ron van der Meyden

Business Processes, i.e., a set of coordinated tasks and activities to achieve a business goal, and their continuous improvements are key to the operation of any organization. In banking, business processes are increasingly dynamic as…

Computers and Society · Computer Science 2020-09-30 Shahabodin Khadivi Zand

This paper presents an intelligent user interface model dedicated to the exploration of complex databases. This model is implemented on a 3D metaphor : a virtual museum. In this metaphor, the database elements are embodied as museum…

Databases · Computer Science 2017-03-23 Landy Rajaonarivo , Matthieu Courgeon , Eric Maisel , Pierre De Loor

Business process management (BPM) has been widely used to discover, model, analyze, and optimize organizational processes. BPM looks at these processes with analysis techniques that assume a clearly defined start and end. However, not all…

Databases · Computer Science 2024-07-26 Stephan A. Fahrenkrog-Petersen , Saimir Bala , Luise Pufahl , Jan Mendling

We present a framework by which websites can coordinate to make it difficult for users to set similar passwords at these websites, in an effort to break the culture of password reuse on the web today. Though the design of such a framework…

Cryptography and Security · Computer Science 2021-03-05 Ke Coby Wang , Michael K. Reiter

In this era of internet, E-Business and e-commerce applications are using Databases as their integral part. These Databases irrespective of the technology used are vulnerable to SQL injection attacks. These Attacks are considered very…

Cryptography and Security · Computer Science 2020-09-30 Israr Ali , Syed Hasan Adil , Mansoor Ebrahim

We present a widely-used operations management model used in supply and distribution planning, that is typically embedded in a periodic business process that necessitates model modification and reuse. We consider three alternative…

Software Engineering · Computer Science 2018-02-05 Thomas A. Grossman , Vijay Mehrotra , Mouwafac Sidaoui

Rapid expansion of online business has engulfed the GCC region. Such expansion causes competition among business entities, causing the need to identify the factors that the customers use to choose a suitable mobile business application.…

Computers and Society · Computer Science 2019-08-20 Adel Bahaddad , Rayed AlGhamdi , Seyed M. Buhari , Madini O. Alassafi , Ahmad Alzahrani

In a super-scalar architecture, the scheduler dynamically assigns micro-operations ($\mu$OPs) to execution ports. The port mapping of an architecture describes how an instruction decomposes into $\mu$OPs and lists for each $\mu$OP the set…

Privacy by design (PbD) is the principle that privacy should be considered at every stage of the software engineering process. It is increasingly both viewed as best practice and required by law. It is therefore desirable to have formal…

Logic in Computer Science · Computer Science 2019-01-31 Robin Adams , Sibylle Schupp

High-performance computing systems (HPC) provide powerful capabilities for modeling, simulation, and data analytics for a broad class of computational problems. They enable extreme performance of the order of quadrillion floating-point…

Distributed, Parallel, and Cluster Computing · Computer Science 2017-11-01 Saurabh Hukerikar , Christian Engelmann

Backdoor attacks allow an attacker to embed a specific vulnerability in a machine learning algorithm, activated when an attacker-chosen pattern is presented, causing a specific misprediction. The need to identify backdoors in biometric…

Computer Vision and Pattern Recognition · Computer Science 2024-11-05 Alexander Unnervik , Hatef Otroshi Shahreza , Anjith George , Sébastien Marcel

In this work, we present a scalable and efficient system for exploring the supply landscape in real-time bidding. The system directs exploration based on the predictive uncertainty of models used for click-through rate prediction and works…

Machine Learning · Computer Science 2022-08-04 Jan Hartman , Davorin Kopič

The four Industry 4.0 design principles information transparency, technical assistance, interconnection, and decentralized decisions pose challenges in integrating information technology (IT) and operational technology (OT) solutions in…

Software Engineering · Computer Science 2024-04-17 Georg Schäfer , Hannes Waclawek , Sarah Riedmann , Christoph Binder , Christian Neureiter , Stefan Huber
‹ Prev 1 8 9 10 Next ›