Search results for "UniFi"
showing 10 items of 302 documents
Factors and actors leading to the adoption of a JavaScript framework
2018
The increasing popularity of JavaScript has led to a variety of JavaScript frameworks that aim to help developers to address programming tasks. However, the number of JavaScript frameworks has risen rapidly to thousands of versions. It is challenging for practitioners to identify the frameworks that best fit their needs and to develop new ones which fit such needs. Furthermore, there is a lack of knowledge regarding what drives developers towards the choice. This paper explores the factors and actors that lead to the choice of a JavaScript framework. We conducted a qualitative interpretive study of semi-structured interviews. We interviewed 18 decision makers regarding the JavaScript framew…
Nazioni senza frontiere. Daniel J. Elazar e l’etica del patto nella storia d’Europa
2020
Gli studi sul federalismo di Daniel J. Elazar sono noti soprattutto per la centralità lessicale ed ermeneutica attribuita al concetto di patto nei diversi ambiti culturali e istituzionali in cui prende forma il discorso politico. In questo saggio si mette a tema la sua ricostruzione dei passaggi ideologici che fanno da sottofondo all'evoluzione storica del federalismo nello scenario politico europeo. Daniel J. Elazar explores federalism by highlighting the lexical and hermeneutic centrality of the concept of the covenant in the various cultural and institutional spheres. This essay focuses on his reconstruction of the historical and ideological steps of federalism in the European political …
UML/OCL-based modeling of work-based access control policies for collaborative healthcare systems
2016
A work-based access control (WBAC) model is proposed by introducing the team role concept and modifying the user-role assignment model from a previous work. The main goals of WBAC are flexibility, easy manageability, security, as well as suitability to support cooperative work of dynamic teams in healthcare environments. One of the major challenges of WBAC regards authorization constraints in terms of organizational policies. In this article, we show how Unified Modeling Language (UML) and Object Constraints Language (OCL) are utilized to design and analyze the authorization constraints of WBAC in cooperative engagements with complex scenarios in the collaborative healthcare domain. We also…
Metamodel Specialization for DSL Tool Building
2016
Most of domain-specific tool building and especially diagram editor building nowadays involves some usage of metamodels. However normally the metamodel alone is not sufficient to define an editor. Frequently the metamodel just defines the abstract syntax of the domain, mappings or transformations are required to define the editor. Another approach [8] is based on a fixed type metamodel, there an editor definition consists of an instance of this metamodel to be executed by an engine. However there typically a number of functionality extensions in a transformation language is required. The paper offers a new approach based on metamodel specialization. First the metamodel specialization based …
MLOG: a strongly typed confluent functional language with logical variables
1994
Poirriez, V., MLOG: a strongly typed confluent functional language with logical variables, Theoretical Computer Science 122 (1994) 201-223. A new programming language called MLOG is introduced. MLOG is a conservative extension of ML with logical variables. To validate our concepts, a compiler named CAML Light FLU0 was implemented. Numerous examples are presented to illustrate the possibilities of MLOG. The pattern matching of ML is kept for X-calculus bindings and an unification primitive is introduced for the logical variables bindings. A suspension mechanism allows cohabitation of pattern-matching and logical variables, Although the evaluation strategy for the application is fixed, the or…
Duality, projectivity, and unification in Łukasiewicz logic and MV-algebras
2013
AbstractWe prove that the unification type of Łukasiewicz (infinite-valued propositional) logic and of its equivalent algebraic semantics, the variety of MV-algebras, is nullary. The proof rests upon Ghilardiʼs algebraic characterisation of unification types in terms of projective objects, recent progress by Cabrer and Mundici in the investigation of projective MV-algebras, the categorical duality between finitely presented MV-algebras and rational polyhedra, and, finally, a homotopy-theoretic argument that exploits lifts of continuous maps to the universal covering space of the circle. We discuss the background to such diverse tools. In particular, we offer a detailed proof of the duality …
Specificities and Vagaries of Medicine from the Viewpoint of Hard Sciences
2013
Among many other beautiful reflections on the ontology of medicine, in his Handbook of Analytic Philosophy of Medicine, Sadegh Zadeh promotes Fuzzy Sets Theory among the basic instruments of logic for medical understanding, highlights the importance of vagueness in the medical language and as an intrinsic property of medical epistemology, and invokes the clear advantages of a medical fuzzy taxonomy to overcome the binary concept of being healthy/ill. We briefly discuss these aspects, relating them to the peculiarity of Fuzziness as the only purely scientific notion among the foundational tools needed to define an analytic philosophy of medicine more concerned with an explicatum of the notio…
Schema Unification and Morphological Productivity: A Diachronic Perspective
2018
Unified schemas which allow for deriving multiply complex word-formation products are a central concept in Construction Morphology (CxM). Based on examples such as un-V-able formations in English, it has been argued in the framework of Construction Morphology that unified schemas (in this case: [un[V-able]A]A) can be conceived of as short cuts in coining new complex words. In this paper, we explore three prospective cases of schema unification and discuss what kind of evidence supports the assumption of unified schemas. The first two case studies are diachronic in nature. Drawing on corpus analyses of data from the Early New High German period (1350–1650) and from the early stages of New Hi…
Transformation of UML models to CSP : a case study for graph transformation tools
2008
Graph transformation provides an intuitive mechanism for capturing model transformations. In the current paper, we investigate and compare various graph transformation tools using a compact practical model transformation case study carried out as part of the AGTIVE 2007 Tool Contest [22]. The aim of this case study is to generate formal CSP processes from high-level UML activity diagrams, which enables to carry out mathematical analysis of the system under design.
On unification and nucleon decay in supersymmetric grand unified theories based on SU(5)
2006
9 pages, 4 figures.-- ISI Article Identifier: 000247170700016.-- ArXiv pre-print available at: http://arxiv.org/abs/hep-ph/0610034