The wide spread of services on the internet has aggravated the issue of maintaining multiple identities such as the virtual identities that are based on specific login credentials like username, passwords and PINs. On the other hand, multiple physical identities also prove to be difficult to maintain since different sources require the presence of different smart cards, mobile devices or other ...

This paper discusses aspects of validating simulation models designed to describe, explain and predict realworld phenomena. It starts with a short review of arguments used in the simsoc mailing list discussion on theory, simulation and explanation a few months ago, deals with the use of quantitative and qualitative computational models to make quantitative and qualitative predictions or rather ...

The growing design-productivity gap has made designers shift toward using high-level languages like C, C++ and Java to do system-level design. High-Level Synthesis (HLS) is the process of generating Register Transfer Level (RTL) design from these initial high-level programs. Unfortunately, this translation process itself can be buggy, which can create a mismatch between what a designer intends ...

Hierarchical (first-order) structured deformations are studied from the variational point of view. The main contributions present research first steps, at theoretical level, to establish a framework minimize mechanically relevant energies defined on hierarchical deformations. Two results obtained here: (i) an approximation theorem and (ii) assignment energy deformation by means iterative proced...

Recent research reveals that deep learning is an effective way of solving high dimensional Hamilton-Jacobi-Bellman equations. The resulting feedback control law in the form a neural network computationally efficient for real-time applications optimal control. A critical part this design method to generate data training and validating its accuracy. In paper, we provide survey existing algorithms...

Norms describe the permissions, prohibitions and obligations of agents in multi-agent systems in order to regulate their behavior. In this paper we propose a normative modeling language that makes possible the modeling of norms motivating the modeling of such norms together with the nonnormative part of the system. In addition, we also propose a mechanism to validate the norms at design time, i...

This paper reports on our experiences in building an execution-driven architectural simulator that is meant to accurately capture performance costs of a machine for a particular class of software, namely, network protocol stacks such as TCP/IP. The simulator models a single processor of our Silicon Graphics Challenge shared-memory multiprocessor, which has 100 MHz MIPS R4400 chips and two level...