Now showing items 76-95 of 1009

  • B-Tropos: Agent-oriented requirements engineering meets computational logic for declarative business process modeling and verification 

    Bryl, V; Mello, P; Montali, M; Torroni, P; Zannone, N (Springer, 2008)
    The work presented in this paper stands at the intersection of three diverse research areas: agent-oriented early requirements engineering, business process requirements elicitation and specification, and computational ...
  • Back to the Future: An Interaction-oriented Framework for Social Computing 

    Baldoni M; Baroglio C; Marengo E; Patti V; Ricci A (IEEE, 2011)
    We propose an interaction-oriented framework and the related support infrastructure, that reifies commitment-based interaction protocols into programmable environments and artifacts. The use of commitments gives a normative ...
  • A Basic Characterization of Relation Migration 

    Keet, CM; Artale, A (Springer, 2010)
    Representing and reasoning over evolving objects has been investigated widely. Less attention has been devoted to the similar notion of relation migration, i.e., how tuples of a relation (ORM facts) can evolve along time. ...
  • The Bayesian Description Logic BEL 

    Ceylan, II; Penaloza, R (Springer, 2014)
    We introduce the probabilistic Description Logic BEL. In BEL, axioms are required to hold only in an associated context. The probabilistic component of the logic is given by a Bayesian network that describes the joint ...
  • Bayesian Description Logics 

    Ceylan I; Peñaloza R (CEUR, 2014)
    We present Bayesian Description Logics (BDLs): an extension of Description Logics (DLs) with contextual probabilities encoded in a Bayesian network (BN). Classical DL reasoning tasks are extended to consider also the ...
  • The Bayesian Ontology Reasoner is BORN! 

    Ceylan I; Mendez J; Peñaloza R (CEUR, 2015)
    Bayesian ontology languages are a family of probabilistic ontology languages that allow to encode probabilistic information over the axioms of an ontology with the help of a Bayesian network. The Bayesian ontology language ...
  • BEACON: An Efficient SAT-Based Tool for Debugging EL+ Ontologies 

    Arif MF; Mencía C; Ignatiev A; Manthey N; Peñaloza R; Marques-Silva J (Springer-Verlag, 2016)
    Description Logics (DLs) are knowledge representation and reasoning formalisms used in many settings. Among them, the EL family of DLs stands out due to the availability of polynomial-time inference algorithms and its ...
  • Behavior-oriented Commitment-based Protocols 

    Baldoni, M; Baroglio, C; Marengo, E (IOS Press, 2010)
    Ever since the seminal work of Searle, two components of interaction protocols have been identified: constitutive rules, defining the meaning of actions and regulative rules, defining the flow of execution, i.e. the behavior ...
  • Benchmark requirements for microservices architecture research 

    Aderaldo CM; Mendonça NC; Pahl C; Jamshidi P (IEEE Press, 2017)
    Microservices have recently emerged as a new architectural style in which distributed applications are broken up into small independently deployable services, each running in its own process and communicating via lightweight ...
  • Best Service Synthesis in the Weighted Roman Model 

    Calvanese D; Santoso A (CEUR-WS.org, 2012)
    This paper presents an extension of a framework for synthesizing a composition of services, named Roman Model, such that it is able to model the best service composition synthesis problem. In such extension, which we call ...
  • Better Code for Better Apps: A Study on Source Code Quality and Market Success of Android Applications 

    Fronza, I; Corral Velazquez, LR (ACM, 2015)
    The quality of a mobile application is a major concern for developers, users and application stores. Even though several mobile-specific techniques have been proposed to evaluate the quality of a mobile software product, ...
  • Beyond OWL 2 QL in OBDA: Rewritings and approximations 

    Botoeva E; Calvanese D; Santarelli V; Fabio Savo D; Solimando A; Xiao G (AAAI, 2016)
    Ontology-based data access (OBDA) is a novel paradigm facilitating access to relational data, realized by linking data sources to an ontology by means of declarative mappings. DL-LiteR, which is the logic underpinning the ...
  • Blending Evidence and Users for TEL: An Overture 

    Di Mascio T; Gennari R; Vittorini P (Springer, 2013)
    TERENCE is an adaptive learning system for reasoning about stories with children having deep text comprehension problems. It develops reading interventions in the form of smart games for stimulating the text comprehension ...
  • Blending Mobile Programming and Liberal Education in a Social-Economic High School 

    Fronza I; El Ioini N; Corral L (ACM, 2016)
    Mobile programming is one of the fastest growing approaches in many fields, such as marketing or e-commerce. From the educational perspective, this means that students should understand that they can build mobile applications ...
  • Block Variants of the COCG and COCR Methods for Solving Complex Symmetric Linear Systems with Multiple Right-Hand Sides 

    Gu XM; Carpentieri B; Huang TZ; Meng J (Springer International Publishing, 2016)
    In the present study, we establish two new block variants of the Conjugate Orthogonal Conjugate Gradient (COCG) and the Conjugate A-Orthogonal Conjugate Residual (COCR) Krylov subspace methods for solving complex symmetric ...
  • Blocking Automata for PSPACE DLs 

    Baader F; Hladik J; Peñaloza R (CEUR, 2007)
    In Description Logics (DLs), both tableau-based and automata-based algorithms are frequently used to show decidability and complexity results for basic inference problems such as concept satisfiability. Whereas tableau-based ...
  • BPM: Foundations, Engineering, Management 

    Weske M; Montali M; Weber I; vom Brocke J (Springer, 2018)
    This paper reports on the introduction of a track system at the BPM conference series and the experiences made during the organization of BPM 2018, the first issue implementing the track system. By introducing dedicated ...
  • Brave and Cautious Reasoning in EL 

    Ludwig M; Peñaloza R (CEUR, 2014)
    Developing and maintaining ontologies is an expensive and error-prone task. After an error is detected, users may have to wait for a long time before a corrected version of the ontology is available. In the meantime, one ...
  • Bringing the Cloud to Rural and Remote Areas via Cloudlets 

    Helmer S; Pahl C; Sanin J; Miori L; Brocanelli S; Cardano F; Gadler D; Morandini D; Piccoli A; Salam S; Shahrear AM; Ventura A; Abrahamsson P; Oyetoyan TD (ACM, 2016)
  • The Build-Operate-Transfer (BOT) model in service offshoring 

    Orzes G; Fratocchi L; Nassimbeni G; Sartor M (UCD and TCD Schools of Business, 2013)
    The Build-Operate-Transfer (BOT) has been established as a popular mode for financing ‘infrastructure’ projects. A wide literature has dealt with this topic. In recent years BOT has been also adopted in service offshoring ...