MaxSAT-based encodings for Group MaxSAT

Measuring the Crowd {textendash} A Preliminary Taxonomy of Crowdsourcing Metrics

Medical Device Software Process Improvement {textendash} A Perspective from a Medical Device company

A Metric-Based Approach to Managing Architecture-Related Impediments in Product Development Flow: An Industry Case Study from Cisco

MILP for the Multi-objective VM Reassignment Problem

A Location Coordinate-based Video Delivery Scheme over Wireless Mesh Networks

A Machine-Based Personality Oriented Team Recommender for Software Development Organizations

On the Management of Unicast and Multicast Services in LTE Networks

Managing Security Control Assumptions Using Causal Traceability

Manually Locating Features in Industrial Source Code: The Search Actions of Software Nomads