The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
Potts model, also called piecewise-constant Mumford-Shah problem, belongs to the class of L0-regularized problems. It is non-smooth, non-convex and non-deterministic polynomial hard. Based on split Bregman method, this paper presents a new algorithm for Potts model. In view of the fact that Potts model tends to form edges in several directions, the weighted Potts model is proposed for limited angle...
The expansion of the Internet of Things (IoT) has resulted in a complex cyber-physical system of systems that is continually evolving. With ever more complex systems being developed and changed there has been an increasing reliance on simulation as a vital part of the design process. There is also a growing need for simulation integration and co-simulation in order to analyse the complex interactions...
The adoption of model based systems engineering takes models and puts them front and center to support all systems engineering activities. The majority of the models are static models describing some aspects concerning the structure of the system. This paper addresses the question of what makes a good model. The paper discusses modeling languages and how quality is defined and measured in software...
The transcription factor NF-κB is a biological component that is central to the regulation of genes involved in the innate immune system. Dysregulation of the pathway is known to be involved in a large number of inflammatory diseases. Although considerable research has been performed since its discovery in 1986, we are still not in a position to control the signalling pathway, and thus limit the effects...
A sequence diagram is one of UML models that are usually used within the analysis phase in software system development. Since generating such sequence diagrams is performed manually, automated or semi-automated support is beneficial in providing important and practical help. In this paper, a new semi-automated approach for generating sequence diagrams from user requirements written in Arabic is proposed...
Started from the teaching essence, this paper explains the conceptions of teaching application mode, knowledge application pattern and model construction. Then the theoretical model of network teaching application development is provided based on constructivist learning theory. From the perspective of integration of networks, services, and applications, the principle rules of new generation of network...
Software reuse has long being recognized as an important area amongst the software development companies in improving productivity and quality of their product. Reusing of early-stage software artifacts such as UML state machine diagrams increases the benefit reaped from reuse because it allows the reuse of related later-stage artifacts. Among the reuse task, matching and retrieval of similar artifacts...
Users located on the cell edge suffer from low data rates due to interference and poor reception. The Coordinated Multipoint technology targets this problem but it imposes overhead on the network, which can result in degradation of the Quality of Service. The Direct CSI feedback to Elected Coordination station architecture minimizes such overhead, resulting in improved data rates. Here, we analyze...
This paper reports on a study that aimed to characterize how crowd workers experienced for the first time the use of TopCoder, a crowdsourcing platform for software development that implements a competitive model. We explored how they perceived collaboration in this setting, what challenges they faced to perform a single task, and reflect upon their suggestions to overcome the challenges their experienced...
Fast-paced innovation in the embedded systems domain puts an ever increasing pressure on effective software development methods, leading to the growing popularity of Model-Based Design (MBD). In this context, a proper choice of modeling languages and related tools — depending on design goals and problem qualities — is crucial to make the most of MBD benefits. In this paper, a comparison between two...
Cyber-Physical Systems (CPSs) represent a new generation of engineered systems facing significant scientific challenges in terms of modeling, architecture, distributed computations and network control, verification/validation mechanisms, and many others. CPSs modeling, a significant aspect of their design and development, can be performed using the Model-Driven Engineering (MDE) paradigm. This approach...
Cloud computing is an established technology to provide computing resources on demand that currently faces several challenges. Main challenges include management of shared resources, energy consumption, load balancing, resource provisioning and allocation, and fulfilment of service level agreements (SLAs). Due to its inherent complexity, cloud simulation is largely used to experiment new models and...
Spreadsheets are used in professional business contexts to make decisions based on collected data. Usually, these spreadsheets are developed by end users (e.g. accountants) in an ad-hoc way. The effect of this practice is that the business logic of a concrete spreadsheet is not explicit to them. Thus, its correctness is hard to assess and users have to trust. We present an approach where structure...
A key open question in the area of software modeling is which costs and benefits it brings to software development and maintenance. For answering this question, better empirical studies into software modeling are needed. In this paper I focus on what I believe are the pitfalls in- and prospects for such types of studies. This paper is an abstract for an invited keynote at the Modeling in Software...
The User Requirements Notation is a standard published by the International Telecommunication Union that contains two complementary notations for goal and scenario/workflow modeling. Use Case Maps (UCM) – the workflow notation – focuses on the causal relationships of the steps in a workflow without requiring the specification of detailed message exchanges and data. A UCM model captures the interactions...
The User Requirements Notation (URN) supports the elicitation, specification, and analysis of integrated goal and scenario models. The analysis of the goal and scenario models focuses on one snapshot in time and does not allow the model to change over time. While several models may be created that represent different stages of a system, managing several, slightly different model copies is a space-consuming,...
Auto-completion of textual inputs benefits software developers using IDEs. However, graphical modeling tools used to design software do not yet provide such functionality. The challenges of recommending auto-completions for graphical modeling activities are largely unexplored. Recommending such auto-completions requires detecting meaningful partly completed activities, tolerating variance in user...
This paper is an evaluation of UML for Real-Time (UML-RT) for modelling Self-Adaptive Software (SAS) systems. Using a systematic review of the different features of UML-RT (optional capsules, SAP/SPP communication, hierarchical state machines, etc.), we analyse the suitability of the language for modelling structural and behavioural adaptations at design-and run-time. We evaluate these features in...
The architecture of virtual assembly system is established, object-oriented is analyzed on the system at the same time, the use of UML modeling method is proposed, to ensure the validity of the model system. The model building of state diagram, use case diagram, sequence diagram and deployment diagram is completed on the system, provides a concise, clear, feasible technical scheme for the realization...
With the increasing popularity of Platform as a Service (PaaS) cloud, software architects need to face new challenges of software architecture design, efficiently integrating the benefits of PaaS services. In this respect, early quality evaluation of the designed PaaS cloud application is crucial to mitigate the risk of later architectural changes due to violation of quality requirements (such as...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.