Now showing items 351-370 of 1020

    • Formally specifying the syntax and semantics of a visual query language for the domain of High Energy Physics data analysis 

      Amaral, V; Helmer, S; Moerkotte, G (IEEE, 2005)
      Currently, physicists working in High Energy Physics experiments have to write their queries in general purpose programming languages using complex frameworks for accessing the data. This distracts them from their actual ...
    • A foundational vision of e-services 

      Berardi D; Calvanese D; De Giacomo G; Lenzerini M; Mecella M (Springer, 2003)
      In this paper we propose a foundational vision of e-Services, in which we distinguish between the external behavior of an e-Service as seen by clients, and the internal behavior as seen by a deployed application running ...
    • Foundations of data-aware process analysis: a database theory perspective 

      Calvanese D; Montali M; De Giacomo G (ACM, 2013)
      In this work we survey the research on foundations of data-aware (business) processes that has been carried out in the database theory community. We show that this community has indeed developed over the years a multi-faceted ...
    • A Framework for a markup language for the definition of scalable user interfaces 

      Tkalcic M; Tasic JF (EC, 2000)
      In this paper we present a novel framework for a markup language for the definition of user interfaces. Such framework includes the possibility and mechanisms for user interfaces adaptability and scalability. The typical ...
    • A framework for change impact analysis of ontology-driven content-based systems 

      Abgaz YM; Javed M; Pahl C (Springer, 2011)
      The trend in content-based systems (CBSs) is shifting towards the use of ontologies to semantically enrich the content and increase its accessibility. The growing need of semantically rich content becomes a driving force ...
    • A framework for classifying and comparing architecture-centric software evolution research 

      Jamshidi, P; Ghafari, M; Aakash, A; Pahl, C (IEEE, 2013)
      Architecture-centric software evolution (ACSE) supports frequent business and technical change cycles in software at higher abstraction levels. This requires evolution in system structure and behavior that could be modeled, ...
    • A Framework for Comparing Interactive Route Planning Apps in Tourism 

      Pugacs S; Helmer S; Zanker M (CEUR-WS.org, 2017)
      Route planning applications are digital companions of many travelers, enabling them to experience different locations in a self-determined way. This work surveys the variety of commercial applications and research prototypes ...
    • A framework for defining and verifying clinical guidelines: a case study on cancer screening 

      Chesani, F; Mello, P; Montali, M; Storari, S; De Matteis, P (Springer, 2006)
      Medical guidelines are clinical behaviour recommendations used to help and support physicians in the definition of the most appropriate diagnosis and/or therapy within determinate clinical circumstances. Due to the intrinsic ...
    • A Framework for Generating Domain-specific Rule for Process Model Customisation 

      Mani N; Helfert C; Pahl C (SciTePress, 2017)
      The domain-specific model-driven development requires effective and flexible techniques for implementing domain-specific rule generators. In this paper, we present a framework for rule generation through model translation ...
    • “Free” Innovation Environments: Lessons learned from the Software Factory Initiatives 

      Taibi, D; Lenarduzzi, V; Liukkunen, K; Lunesu, I; Matta, M; Fagerholm, F; Münch, J; Pietinen, S; Tukiainen, M; Fernández-Sánchez, C; Garbajosa, J; Systä, K; Ahmad, MO (IARIA, 2015)
      Entrepreneurs and Small and Medium Enterprises usually have issues on developing new prototypes, new ideas or testing new techniques. In order to help them, in the last years, academic Software Factories, a new concept of ...
    • Friendlink: Link prediction in social networks via bounded local path traversal 

      Papadimitriou A; Symeonidis P; Manolopoulos Y (IEEE, 2011)
      Online social networks (OSNs) like Facebook, Myspace, and Hi5 have become popular, because they allow users to easily share content or expand their social circle. OSNs recommend new friends to registered users based on ...
    • From Game Design with Children to Game Development with University Students: What Issues Come Up? 

      Fronza, I; Gennari, R; Melonio, A; Corral Velazquez, LR (ACM, 2015)
      This paper reports on the development of game design ideas by children. These were specified in structured informal documents and low-fidelity paper prototypes. University students were challenged to develop children's ...
    • Full Satisfiability of UML Class Diagrams 

      Artale, A; Calvanese, D; Ibanez-Garcia, A (Springer, 2010)
      UML class diagrams (UCDs) are the de-facto standard formalism for the analysis and design of information systems. By adopting formal language techniques to capture constraints expressed by UCDs one can exploit automated ...
    • Full-fledged algebraic XPath processing in natix 

      Brantner, M; Helmer, S; Kanne, CC; Moerkotte, G (ICDE, 2005)
      We present the first complete translation of XPath into an algebra, paving the way for a comprehensive, state-of-the-art XPath (and later on, XQuery) compiler based on algebraic optimization techniques. Our translation ...
    • The future of technology enhanced active learning – A roadmap 

      Pahl C; Kenny C (IGI Publishing, 2008)
      The notion of active learning refers to the active involvement of learner in the learning process, capturing ideas of learning-by-doing and the fact that active participation and knowledge construction leads to deeper and ...
    • Future research issues in IT and tourism: A manifesto as a result of the JITT workshop in June 2014, Vienna 

      Werthner, H; Alzua-Sorzabal, A; Cantoni, L; Dickinger, A; Gretzel, U; Jannach, D; Neidhardt, J; Pröll, B; Ricci, F; Scaglione, M; Stangl, B; Stock, O; Zanker, M (Cognizant Communication Corporation / Springer Verlag (Germany), 2015)
      The objective of this manifesto (as a result of the JITT workshop in June 2014) is to identify a list of pivotal research topics and issues in e-tourism. E-tourism can be seen as everything that happens electronically in ...
    • Fuzzy conformance checking of observed behaviour with expectations 

      Bragaglia S; Chesani F; Mello P; Montali M; Sottara D (Springer, 2011)
      In some different research fields a research issue has been to establish if the external, observed behaviour of an entity is conformant to some rules/specifications/expectations. Research areas like Multi Agent Systems, ...
    • The Fuzzy Description Logic G-FL0 with Greatest Fixed-Point Semantics 

      Borgwardt, S; Leyva, Galano JA; Penaloza, R (Springer-Verlag, 2014)
      We study the fuzzy extension of the Description Logic FL0 with semantics based on the Gödel t-norm. We show that subsumption w.r.t. a finite set of primitive definitions, using greatest fixed-point semantics, can be ...
    • Fuzzy Description Logics - A Survey 

      Borgwardt S; Peñaloza R (Springer, 2017)
      Mathematical Fuzzy Logics [51, 60] have a long tradition with roots going back to the many-valued logics of Łukasiewicz, Gödel, and Kleene [57, 68, 73] and the Fuzzy Set Theory of Zadeh [111]. Their purpose is to model ...
    • A Fuzzy Load Balancer for Adaptive Fault Tolerance Management in Cloud Platforms 

      Arabnejad H; Pahl C; Estrada G; Samir Areeg; Fowley F (Springer, 2017)
      To achieve high levels of reliability, availability and performance in cloud environments, a fault tolerance approach to handle failures effectively is needed. In most existing research, the primary focus has been on ...