Serwis Infona wykorzystuje pliki cookies (ciasteczka). Są to wartości tekstowe, zapamiętywane przez przeglądarkę na urządzeniu użytkownika. Nasz serwis ma dostęp do tych wartości oraz wykorzystuje je do zapamiętania danych dotyczących użytkownika, takich jak np. ustawienia (typu widok ekranu, wybór języka interfejsu), zapamiętanie zalogowania. Korzystanie z serwisu Infona oznacza zgodę na zapis informacji i ich wykorzystanie dla celów korzytania z serwisu. Więcej informacji można znaleźć w Polityce prywatności oraz Regulaminie serwisu. Zamknięcie tego okienka potwierdza zapoznanie się z informacją o plikach cookies, akceptację polityki prywatności i regulaminu oraz sposobu wykorzystywania plików cookies w serwisie. Możesz zmienić ustawienia obsługi cookies w swojej przeglądarce.
Understanding customer buying patterns is of great interest to the retail industry. Association rule mining is a common technique for extracting correlations such as people in the South of France buy rosé wine or customers who buy paté also buy salted butter and sour bread. Unfortunately, sifting through a high number of buying patterns is not useful in practice, because of the predominance of popular...
This paper describes the development and evaluation of a user adaptive kanji learning system for JFL (Japanese as a foreign language) learners. Learning kanji is a real challenge for learners of Japanese as a foreign language. Since the context is important in the process of language learning, multiple example sentences to provide various contexts where the target kanji is used were implemented. In...
This paper gives a brief overview of the 11th Workshop on Trends in Enterprise Architecture Research (TEAR) held at EDOC 2016. The paper introduces the Workshop research topics and presents the accepted papers.
Considering metrics based on finite directed graph, introduced by Etzion and Firer, we characterize the graphs such that every linear code admits a G-canonical decomposition. This decomposition will play an important role in this work, since it will be the main tool to give a sufficient condition for a finite directed graph to satisfy both the MacWilliams Identity and the MacWilliams Extension Property.
Requirements are usually categorized in functional requirements (FRs) and quality requirements (QR). FRs describe "things the product must do" while QRs describe "qualities the product must have". Besides the definition, classification, and representation problems identified by Glinz, there are two further problems with current definitions of quality requirements: (i) the definitions...
Open Source Software (OSS) hosted in Repositories such as GitHub can be valuable as a source of information for requirements engineers, especially in the apprentice phase of a new application. In this context, we propose a strategy to speed up the discovery of valuable information, since manual search may be time consuming in the vast dataset of GitHub projects. Our strategy is based on the identification...
In this keynote talk we propose the use of a capability-driven approach to enterprise modeling in order to capture the intertwined relationship among design requirements and environment, as well as the interplay of requirements and design artifacts for the purpose of facilitating enterprise agility.
In the last few years, sustainability has become one of the priority lines for many companies and organizations, especially public administrations. This trend has been even more evident in some regions where the preservation of natural resources is of utmost importance, not only from an environmental perspective, but also from an economic one. In this context, technology has become one of the key...
In this position paper, we present our interdisciplinary research into a unified account of profiling attackers for software-intensive systems. Our work draws on the principles from requirements engineering and criminology. Specifically, we show how a unified crime theory can be adapted to model the attackers and their degree of knowledge about the environment in which the software operates. We illustrate...
We present a logic for Proximity-based Understanding of Conditionals (PUC-Logic) that unifies the Counterfactual and Deontic logics proposed by David Lewis. We also propose a natural deduction system (PUC-ND) associated to this new logic. This inference system is sound, complete, normalizing and decidable.
Service-dominant logic, called S-D logic, proposed a new thought oftheoretical foundation for service economy from a service centricviewpoint, but basic terms and their relationship are not representedin technical form. We first formalize S-D logic in a mathematical form. In addition to the terms that have already been introduced in S-D logic, we define terms of 'capability' and 'potential'. These...
As our world is going digital, Electronic Evidence are increasingly used in court and not just for computer related crimes. At the same time, organised crimes are also following the globalisation trend and often require fast cooperation across judicial authorities of several countries to be efficiently fought. However this is currently difficult to achieve because the integrity of electronic evidence...
A task at the beginning of the software development process is the creation of a requirements specification. The requirements specification is usually created by a software engineering expert. We try to substitute this expert by a domain expert (the user) and formulate the problem of creating requirements specifications as a search-based software engineering problem. The domain expert provides only...
Stream processing is about processing continuous streams of data by programs in a workflow. Continuous execution is discretized by grouping input stream tuples into batches and using one batch ata time for the execution of programs. As source input batches arrive continuously, several batches may beprocessed in the workflow simultaneously. Ensuring correctness of these concurrent executions isimportant...
In this paper, we improve a computational conceptof logic-based consensus among agents that has been introducedrecently. A consensus is defined as a non-contradictoryfragment of the information conveyed by various agents suchthat this fragment does not logically conflict with any agent. In this study, we introduce an additional requirement to theconcept of consensus to avoid some paradoxical consensuses...
The 6th edition of the Portuguese Software Engineering Doctoral Symposium (SEDES'2016), was held in September 16, 2016, in Lisboa, Portugal, co-located with the QUATIC'2016 conference. The aim of this symposium is to bring together Software Engineering PhD students supervised or co-supervised by faculty members of Portuguese Universities in a constructive environment, where they can present and discuss...
The security community has established a number of knowledge sources, including security catalogues and controls, that capture security expertise and can support elicitation of security requirements. Providing additional guidance on how and when to leverage the security information available in the existing knowledge sources in the context of the given system can support security requirements engineering...
The paper explores the connection between Soren Hallden's logic of nonsense (and its expansions) and Logics of Formal Inconsistency (LFIs), one of the main traditions in paraconsistency. Although not much attention has been payed by paraconsistentists, Hallden's logic can be nicely connected to LFIs. The main result of the paper is a reformulation of an expansion of logic of nonsense studied by Lennart...
Identifying the appropriate needs for biomedical device design is challenging, especially for less structured environments. The paper proposes an alternate need-finding method based on Cultural Historical Activity Theory and expanded to explicitly examine the role of devices within a socioeconomic system. This is compared to a conventional need-finding technique in a preliminary study with engineering...
Podaj zakres dat dla filtrowania wyświetlonych wyników. Możesz podać datę początkową, końcową lub obie daty. Daty możesz wpisać ręcznie lub wybrać za pomocą kalendarza.