Now showing items 213-232 of 409

    • Logics of metric spaces 

      Kutz O; Wolter F; Sturm H; Suzuki N; Zakharyaschev M (2003)
      We investigate the expressive power and computational properties of two different types of languages intended for speaking about distances. First, we consider a first-order language FM the two-variable fragment of which ...
    • Macroblock level bits allocation for depth maps in 3-d video coding 

      Xiao J; Tillo T; Yuan H; Zhao Y (2014)
      For 3-D videos, one commonly used representation method is texture videos plus depth maps for several selected viewpoints, whereas the other viewpoints are synthesized based on the available texture videos and depth maps ...
    • Making Managerial Dashboards Meaningful: Opening Statement 

      Fronza, I (Cutter Information Corp., 2013)
    • Managing Change in Graph-structured Data Using Description Logics 

      Ahmetaj S; Calvanese D; Ortiz M; Simkus M (2017)
      In this paper, we consider the setting of graph-structured data (GSD) that evolves as a result of operations carried out by users or applications. We study different reasoning problems, which range from deciding whether a ...
    • Managing changes in requirements: An empirical investigation 

      Janes, A; Remencius, T; Sillitti, A; Succi, G (Wiley-Blackwell, 2013)
      This paper describes the challenges of handling changing requirements in software companies. This empirical investigation deals with the different sources of changes and with the different approaches to requirements ...
    • Managing evolution and change in web-based teaching and learning environments 

      Pahl C (Pergamon Press (Elsevier), 2003)
      The state of the art in information technology and educational technologies is evolving constantly. Courses taught are subject to constant change from organisational and subject-specific reasons. Evolution and change affect ...
    • Managing Uncertainty in Autonomic Cloud Elasticity Controllers 

      Jamshidi P; Pahl C; Mendonca NC (2016)
      Elasticity allows a cloud system to maintain an optimal user experience by automatically acquiring and releasing resources. Autoscaling - adding or removing resources automatically on the fly-involves specifying threshold-based ...
    • Methodbook: Recommending Move Method Refactorings via Relational Topic Models 

      Bavota, G; Oliveto, R; Gethers, M; Poshyvanyk, D; De Lucia, A (Institute of Electrical and Electronics Engineers (IEEE), 2014)
      During software maintenance and evolution the internal structure of the software system undergoes continuous changes. These modifications drift the source code away from its original design, thus deteriorating its quality, ...
    • Microservices: The Journey So Far and Challenges Ahead 

      Jamshidi P; Pahl C; Lewis J; Tilkov S; Mendonca NC (2018)
      Microservices are an architectural approach emerging out of service-oriented architecture, emphasizing self-management and lightweightness as the means to improve software agility, scalability, and autonomy. This article ...
    • Mining Version Histories for Detecting Code Smells 

      Palomba F; Bavota G; Di Penta M; Oliveto R; De Lucia A; Poshyvanyk D (2015)
      Code smells are symptoms of poor design and implementation choices that may hinder code comprehension, and possibly increase change- and fault-proneness. While most of the detection techniques just rely on structural ...
    • Model Checking Petri Nets with Names Using Data-Centric Dynamic Systems 

      Montali, M; Rivkin, A (Springer, 2016)
      Petri nets with name creation and management ((Formula presented.)-PNs) have been recently introduced as an expressive model for dynamic (distributed) systems, whose dynamics are determined not only by how tokens flow in ...
    • Model checking petri nets with names using data-centric dynamic systems 

      Montali M; Rivkin A (2016)
      Petri nets with name creation and management (-PNs) have been recently introduced as an expressive model for dynamic (distributed) systems, whose dynamics are determined not only by how tokens flow in the system, but also ...
    • Model-driven transformation and validation of adaptive educational hypermedia using CAVIAr 

      Melia M; Pahl C (Technische Universitaet Graz, 2010)
      Authoring of Adaptive Educational Hypermedia is a complex activity requiring the combination of a range of design and validation techniques. We demonstrate how Adaptive Educational Hypermedia can be transformed into CAVIAr ...
    • Modeling and Querying Facts with Period Timestamps in Data Warehouses 

      Mahlknecht G; Dignös A; Kozmina N (2019)
      In this paper, we study different ways of representing and querying fact data that is time-stamped with a time period in a data warehouse. The main focus is on how to represent the time periods that are associated with the ...
    • Modeling and solving distributed configuration problems: A CSP-based approach 

      Jannach, D; Zanker, M (Institute of Electrical and Electronics Engineers (IEEE), 2013)
      Product configuration can be defined as the task of tailoring a product according to the specific needs of a customer. Due to the inherent complexity of this task, which for example includes the consideration of complex ...
    • Modeling and verifying business process and choreographies through the abductive proof procedure SCIFF and its extensions 

      Chesani F; Mello P; Montali M; Torroni P (2011)
      In this article we survey our recent research activity concerning the use of logic programming, and in particular of abduction, for interaction specification and verification in several domains. We outline relevant results ...
    • Models of Agent Interaction based on Modal Logics 

      Baldoni M; Baroglio C; Marengo E; Patti V; Schifanella C (2011)
      The specification of interaction and of the related forms of reasoning is crucial in the research area of multi-agent systems and in many application areas. This article summarizes the activities and the achievements ...
    • Modularity results for interpolation, amalgamation and superamalgamation 

      Ghilardi S; Gianola A (2018)
      Wolter in [38] proved that the Craig interpolation property transfers to fusion of normal modal logics. It is well-known [21] that for such logics Craig interpolation corresponds to an algebraic property called superamal ...
    • Monitoring time-aware commitments within agent-based simulation environments 

      Chesani F; Mello P; Montali M; Torroni P (2011)
      Despite their dynamic nature, social commitments have rarely been used for monitoring purposes. Little attention has been paid to the relationship between commitments and the temporal dimension and to the corresponding ...