Jigsaw patterns, a graphical architecture description notation, will be presented in this paper. The jigsaw patterns shows components and connectors with their interfaces. Connectors are structures or objects implementing the interfaces. Components are structures interacting via the connectors. Each component and connector can be taken as a new system and decomposed. The semantics of the jigsaw...

Program composition and compositional proof systems have proven them­ selves important for simplifying the design and the verification of programs. The paper presents a version of the jigsaw program composition operator pre­ viously defined in [FFG90, FFG91]. Here, the jigsaw operator is defined as the unification of its components by their most general unifier. The jigsaw operator generalizes ...

We explore an opportunity to expand the stylistic variety of handmade and artisanal jigsaw puzzles through the appication of techniques from natural simulation. Typical jigsaw puzzle designs reflect the manufacturing constraints of die-cut, mass-production methods. We generate novel families of puzzle forms by applying a phase field approach to the simulation of dendritic solidification. We ext...

In this paper, we consider the square jigsaw puzzle problem in which one is required to reassemble the complete image from a number of unordered square puzzle pieces. Here we focus on the special case where both location and orientation of each piece are unknown. We propose a new automatic solver for such problem without assuming prior knowledge about the original image or its dimensions. We us...

P-Jigsaw is an extension of W3C’s Jigsaw Web-server implementing a cache management strategy for replacement and pre-fetching based on association rules mining from the access-log.

Multi-touch technology has become increasingly popular interactive technology of teaching content. The displays with multi-touch are responsive enough to support a wide variety of applications. In this study, we attempt to apply three different technologies of C#, Microsoft Surface and Windows Presentation Foundation developing an interactive jigsaw game. This game would design with the multi-t...

Processes retrieve a variety of resources, such as files, from the operating system to function. However, securely accessing resources has proven to be a challenging task, accounting for 10-15% of vulnerabilities reported each year. Current defenses address only a subset of these vulnerabilities in ad-hoc and incomplete ways. In this paper, we provide a comprehensive defense against vulnerabili...

Shared last-level caches, widely used in chip-multiprocessors (CMPs), face two fundamental limitations. First, the latency and energy of shared caches degrade as the system scales up. Second, when multiple workloads share the CMP, they suffer from interference in shared cache accesses. Unfortunately, prior research addressing one issue either ignores or worsens the other: NUCA techniques reduce...

Introduction: In Pharmacy Diploma Program, mathematics is known as pharmaceutical mathematics. Due to the importance of pharmaceutical mathematics in practice, it is important to have a basic mathematical skill as a basis in calculations in pharmaceutical science. Therefore, it is necessary to create a lecturing condition that enables students more active in understanding the lessons. This rese...