We present a comprehensive set of tactics that make it practical to use separation logic in a proof assistant. These tactics enable the verification of partial correctness properties of complex pointer-intensive programs. Our goal is to make separation logic as easy to use as the standard logic of a proof assistant. We have developed tactics for the simplification, rearranging, splitting, match...

This paper presents a quality-driven approach to embodying non-functional requirements (NFRs) into software architecture using architectural tactics. Architectural tactics are reusable architectural building blocks, providing general architectural solutions for common issues pertaining to quality attributes. In this approach, architectural tactics are represented as feature models, and their se...

A measure of Facebook-related mate-retention tactics was developed to investigate the relationship between online behaviors and intimate partner aggression. One hundred and seventy-seven young adults (65 men, 112 women) completed questionnaires that included measures of online and offline mate-retention tactics, Facebook jealousy, Facebook surveillance, and intimate partner violence. A factor a...

The conditional strategy is a theoretical framework that explains the existence within populations of individuals that express alternative behavioral, physical or life history tactics (phenotypes). An example is fighters and sneakers in many animal mating systems. In the conditional strategy the alternative tactics are chosen by individuals based on their state, for example large or small bodie...

The decision-making process of computer-controlled opponents in video games is called game AI. Adaptive game AI can improve the entertainment value of games by allowing computer-controlled opponents to fix weaknesses automatically in the game AI, and to respond to changes in human-player tactics. Dynamic scripting is a reinforcement learning approach to adaptive game AI that learns, during game...

Software architects principally leverage successful architectural design practices systematized in terms of architectural styles and tactics. While architectural tactics focus on particular non-functional properties, styles are typical solutions that generally coverage several aspects. The problem is that we do not yet have a formal account of how styles and tactics interact in a way that is su...

Manipulation is one means by which environments are altered to correspond to characteristics of individuals. We conducted two studies to identify the manipulation tactics that people use to elicit and terminate the actions of others. Factor analyses of four instruments revealed six types of tactics: charm, silent treatment, coercion, reason, regression, and debasement. Tactics of manipulation s...