Search results for " software"

Explicit Bézier control net of a PDE surface

2017

The PDE under study here is a general fourth-order linear elliptic Partial Differential Equation. Having prescribed the boundary control points, we provide the explicit expression of the whole control net of the associated PDE Bézier surface. In other words, we obtain the explicit expressions of the interior control points as linear combinations of free boundary control points. The set of scalar coefficients of these combinations works like a mould for PDE surfaces. Thus, once this mould has been computed for a given degree, real-time manipulation of the resulting surfaces becomes possible by modifying the prescribed information. The work was partially supported by Spanish Ministry of Econo…

An Information Systems Design Product Theory for Software Project Estimation and Measurement Systems

2009

There is relatively little research on software Project Estimation and Measurement Systems (PEMS). Commercial PEMS vary in functionality and effective- ness. Their intended users thus do not know what to ex- pect from PEMS and how to evaluate them. This paper creates an information system design product theory for the class of PEMS that prescribes the meta-requirements, the meta-design, and applicable theories for all products within the class. Meta-requirements and the meta-design are derived from the project estimation and measurement literature, experiences obtained during more than ten years of empirical work in Finnish Software Measurement Association, and a commercially available PEMS.

Improving Communication in Risk Management of Health Information Technology Systems by means of Medical Text Simplification

2019

Health Information Technology Systems (HITS) are increasingly used to improve the quality of patient care while reducing costs. These systems have been developed in response to the changing models of care to an ongoing relationship between patient and care team, supported by the use of technology due to the increased instance of chronic disease. However, the use of HITS may increase the risk to patient safety and security. While standards can be used to address and manage these risks, significant communication problems exist between experts working in different departments. These departments operate in silos often leading to communication breakdowns. For example, risk management stakeholder…

Cartoon filter via adaptive abstraction

2016

We propose a non-parametric methodology to realize abstraction images.The redundant wavelet "a trous" algorithm is applied for details detection.An multi-scale circular median filter is used as a smoothing filter.The proposed algorithm is simple and fast on low-cost entry-level hardware. Abstraction in computer graphics defines a procedure that discriminates the essential information that is worth keeping. Usually details, that correspond to higher frequency components, allow to distinguish otherwise similar images. Vice versa, low frequencies are related to the main information, which are larger structures. Contours themselves may also be identified by high frequencies and separate each pi…

Risk issues for foreign software firms in China

2007

Wireless MAC processors: programming MAC protocols on commodity hardware

2012

Programmable wireless platforms aim at responding to the quest for wireless access flexibility and adaptability. This paper introduces the notion of wireless MAC processors. Instead of implementing a specific MAC protocol stack, Wireless MAC processors do support a set of Medium Access Control “commands” which can be run-time composed (programmed) through software-defined state machines, thus providing the desired MAC protocol operation. We clearly distinguish from related work in this area as, unlike other works which rely on dedicated DSPs or programmable hardware platforms, we experimentally prove the feasibility of the wireless MAC processor concept over ultra-cheap commodity WLAN hardw…

Elements of Language Theory

1988

In this chapter we shall review the mathematical and computer science background on which the presentation in this book is based. We shall discuss the elements of discrete mathematics and formal language theory, emphasizing those issues that are of importance from the point of view of context-free parsing. We shall devote a considerable part of this chapter to matters such as random access machines and computational complexity. These will be relevant later when we derive efficient algorithms for parsing theoretic problems or prove lower bounds for the complexity of these problems. In this chapter we shall also discuss a general class of formal language descriptors called “rewriting systems”…

The PASSI and Agile PASSI MAS Meta-models Compared with a Unifying Proposal

2005

A great number of processes for multi-agent systems design have been presented in last years to support the different approaches to agent-oriented design; each process is specific for a particular class of problems and it instantiates a specific MAS meta-model. These differences produce inconsistences and overlaps: a MAS meta-model may define a term not referred by another, or the same term can be used with a different meaning. We think that the lack of a standardization may cause a significant delay to the diffusion of the agent paradigm outside research context. Working for this unification goal, it is also necessary to define in unambiguous way the terms of the agent model and their rela…

A family of experiments to generate graphical user interfaces from BPMN models with stereotypes

2021

Abstract Context: A significant gap separates Business Process Model and Notation (BPMN) models representing processes from the design of Graphical User Interfaces (GUIs). Objective: This paper reports on a family of experiments to validate a method to automatically generate GUIs from BPMN models using stereotypes complemented with UML class primitives, and transformation rules. Method: We conducted two replications (23 and 31 subjects respectively) in which we compared two methods to generate GUIs from BPMN models; one automatic (using Stereotyped BPMN models) and one manual (using Non-stereotyped BPMN models). The study focuses on comparing effort, accuracy, and satisfaction (in terms of …

Filtering design for two-dimensional Markovian jump systems with state-delays and deficient mode information

2014

This paper is concerned with the problem of H"~ filtering for a class of two-dimensional Markovian jump linear systems described by the Fornasini-Marchesini local state-space model. The systems under consideration are subject to state-delays and deficient mode information in the Markov chain. The description of deficient mode information is comprehensive that simultaneously includes the exactly known, partially unknown and uncertain transition probabilities. By invoking the properties of the transition probability matrix, together with the convexification of uncertain domains, a new H"~ performance analysis criterion for the filtering error system is firstly derived. Then, via some matrix i…