Despite its obvious and well-publicized potential to support the model-driven engineering of user interfaces, the (re)use of the rich variety of Human-Computer Interaction (HCI) design patterns, we have today has not achieved the acceptance and widespread applicability of HCI design patterns within the existing model-driven engineering framework. This paper proposes a specification and a User I...

Model-based reasoning requires not only inferences about what is happening, but also evaluations of the desirability of what is happening. Emotions are a key part of such assessments, but sometimes they can lead people astray, as in motivated inference when people believe what fits with their desires. In contrast to motivated inference, fear-driven inference generates beliefs that people do not...

Research in metacognition (Koriat, Ma'ayan, & Nussinson, 2006) suggests bidirectional links between monitoring and control during learning: When self-regulation is goal-driven, monitoring affects control so that increased study time (ST) enhances judgments of learning (JOLs). However, when self-regulation is data-driven, JOLs are based on the feedback from control, and therefore JOLs decrease w...

We investigate security at the same time as the functional requirements by refining and integrating use, misuse, and mitigation use cases. Security requirements rely on the interactions among normal system execution (use cases), attacks (misuse cases), and necessary security strategies (mitigation use cases), but previous approaches only use a high-level of abstraction. We use refinement to unc...

in this paper robust pid control of fully-constrained cable driven parallel manipulators with elastic cables is studied in detail. in dynamic analysis, it is assumed that the dominant dynamics of cable can be approximated by linear axial spring. to develop the idea of control for cable robots with elastic cables, a robust pid control for cable driven robots with ideal rigid cables is firstly de...

This research extends upon the previous work of pye and Warren (2005) and presents a refinement of the previously proposed critical infrastructure model to enhance further our understanding and appreciation of where the likely inter-play and existence of dependency relationships between infrastructures coexist. These associations are presented as a number of linkages that exist within each sect...

The GeneWeaver bipartite data model provides an efficient means to evaluate shared molecular components from sets derived across diverse species, disease states and biological processes. In order to adapt this model for examining related molecular components and biological networks, such as pathway or gene network data, we have developed a means to leverage the bipartite data structure to extra...

N. Aizenbud-Reshef B. T. Nolan J. Rubin Y. Shaham-Gafni Traceability relationships help stakeholders understand the many associations and dependencies that exist among software artifacts created during a software development project. The extent of traceability practice is viewed as a measure of system quality and process maturity and is mandated by many standards. This paper introduces model tr...

Understanding inter-character relationships is fundamental for understanding character intentions and goals in a narrative. This paper addresses unsupervised modeling of relationships between characters. We model relationships as dynamic phenomenon, represented as evolving sequences of latent states empirically learned from data. Unlike most previous work our approach is completely unsupervised...