Springer Verlag : SAT-based model-checking for security protocols analysis

Sage Publication : Behavior Protocols for Software Components

In this paper, we propose a means to enhance an architecture description language with a description of component behavior. A notation used for this purpose should be able to express the “interplay” on the component’s interfaces and reflect step-bystep refinement of the component’s specification during its design. In addition, the notation should be easy to comprehend and allow for f…

Sage Publication : SIMULATION

Data Distribution Management (DDM) is one of the High-level Architecture (HLA) services that reduce message traffic over the network. The major purpose of DDM is to filter and route the exchange of data between federates during a federation. However, this traffic reduction usually results in a significant computational overhead, which is caused by calculating the intersection between update …

Sage Publication : Social Science Computer Review

Cognitive interviewing is a well-established method for evaluating and improving a questionnaire prior to fielding. However, its present implementation brings with it some challenges, notably in terms of small sample sizes or the possibility of interviewer effects. In this study, the authors test web surveys through nonprobability online panels as a supplemental means to implement cognitive …

Sage Publication : International Journal of High Performance Computing Applic…

The scalability and efficiency of graph applications are significantly constrained by conventional systems and their supporting programming models. Technology trends such as multicore, manycore, and heterogeneous system architectures are introducing further challenges and possibilities for emerging application domains such as graph applications. This paper explores the parallel execution of …

Sage Publication : Statistical Modelling

Sage Publication : The International Journal of Robotics Research

RGB-D cameras provide both color images and per-pixel depth estimates. The richness of this data and the recent development of low-cost sensors have combined to present an attractive opportunity for mobile robotics research. In this paper, we describe a system for visual odometry and mapping using an RGB-D camera, and its application to autonomous flight. By leveraging results from recent st…

Sage Publication : Communication Research

This study explored long-term memories for childhood exposure to disturbing televised news reports in order to uncover possible mechanisms through which children experience the emotion of fear. In an online survey, 328 undergraduates at a Midwestern university were questioned about their long-term memories for a disturbing news report seen during childhood. Results revealed that 50% of part…

Sage Publication : First Language

The passive construction is acquired relatively late by children learning to speak many languages, with verbal passives not fully acquired until age 6 in English. In other languages it appears earlier, around age 3 or before. Use of passive construction in young children was examined in two Eastern Bantu languages spoken in Kenya (Kiswahili and Kigiriama), both with frequent use of passive.…

Sage Publication : Global Media and Communication

community standards and maintaining content diversity remain important, the context of media convergence and globalization also necessitates considerable innovation in terms of developing suitable policy instruments. In particular, Iosifidis argues the case for a greater role for self-regulation and co-regulation in this new media environment, particularly in areas of content and social regula…