An important way that the reliability of a software system is enhanced is through the implementation of specific run-time measures called runtime tactics. Because reliability is a system-wide property, tactic implementations affect the software structure and behavior at the system, or architectural level. For a given architecture, different tactics may be a better or worse fit for the architect...

This paper describes the development of a corpus of blog posts that are annotated for the presence of attempts to persuade and corresponding tactics employed in persuasive messages. We investigate the feasibility of classifying blog posts as persuasive or non-persuasive on the basis of lexical features in the text and the tactics (as provided by human annotators). Annotated tactics provide subs...

A proof is presented to show that, when fitnesses from alternative tactics within a population depend on both their frequency and the phenotypic condition of individuals, there will be a unique ESS switchpoint s* that determines both the condition at which an individual will switch between tactics and the resulting frequency of the tactics in the population. For an individual at the ESS s*, the...

This study investigated how structured interview formats, instructions to convey favorable impressions, and applicants’ individual differences influenced the use and effectiveness of verbal and nonverbal impression management (IM). Results from 190 people who were screened for a training program demonstrated that interview format affected the kind of tactics used, which in turn positively influ...

abstract aim and background: conflict theory is one of the most use approaches in the field of marital discords that is widely has been used for the investigating of methods to cope with conflicts in relationships. the purpose of this study was comparing of women applying for divorce and normal women in conflict resolve tactics. methods and materials: in an ex post facto study 60 women who refe...

The number of countries that censor and monitor their citizens’ use of the Internet is increasing. While it is no secret that China and Iran censor the Internet, at least 25 countries, including Pakistan, Ethiopia, Thailand and Uzbekistan, also have technical filtering regimes in place. Some of the technology is even exported by western companies: search engines, blog hosting providers and emai...

This paper introduces the concept of controlled automation as a balanced medium between high-level automated reasoning and low-level primitive tactics in HOL. We created a new tactic that subsumes many existing low-level tactics for logical operations and three new tactics that simplify common uses of term rewriting: definition expansion, simplification, and equational rewriting. To implement t...

The type of tactics in all (procedural) proof assistants is (a variant of) that introduced in LCF. We discuss why this is inconvenient and we propose a new type for tactics that 1) allows the implementation of more clever tactics; 2) improves the implementation of declarative languages on top of procedural ones; 3) allows for better proof structuring; 4) improves proof automation; 5) allows tac...