This paper discusses the visual algebraic speciication (vas) formalism and its supporting interactive environment (vase). The vas formalism is intended for the deenition of visual syntax and semantics and is aimed at generating language speciic environments. The collection construct of vas is emphasized in that it supports the convenient speciication of language constructs involving arbitrarily...

With the growth of its popularity, VoIP is increasingly popular nowadays. Similarly to other Internet applications, VoIP users may desire to be unlinkable with their participated VoIP session records for privacy issues. In this paper, we explore the Items of Interests (IOIs) from anonymisation aspects based on a simplified VoIP model and analyse the potential links between them. We address poss...

We consider the problem of listing faces of the Minkowski sum of several V-polytopes in R. An algorithm for listing all faces of dimension up to j is presented, for any given 0 ≤ j ≤ d − 1. It runs in time polynomial in the sizes of input and output.

The purpose of this paper is to explain clearly the role of the information system security management within the entire Port of Rijeka security process. The complexity of the Port of Rijeka system, in which Rijeka Port Authority contemplates the development strategy of the Rijeka traffic route and the services provided by the Port within the framework of the already existing development paradi...

Currently, organizations move from the need to produce high rates of profitability, by the satisfaction of their customers, partners or employees, and by the maintenance of high levels of competitiveness to enable them to face competition and ensure their survival. With the evolution of Information Systems and the Information Technology, increasingly organizations based its activities on these ...

To the Editor: Predictable rhythmic fluctuations, especially circadian, have been observed in a wide variety of physiologicai and psychological functions. Abno~a~ities of circadian patterns have been documented in people with depression, including a tendency for maximal severity of depression in the morning; however, patients with anxiety or mixed depression/anxiety report a tendency for sympto...

AAA 2 1 Introduction

In this short note we give a characterization of the support map from classical convexity. We show it is the unique additive transformation from the class of closed convex sets in Rn which include 0 to the class of positive 1-homogeneous functions on Rn. This will be a consequence of a theorem about transforms from the class of convex sets to itself which preserve Minkowski addition. © 2009 Els...

Given a disk O in the plane called the objective, we want to find n small disks P1, . . . , Pn called the pupils such that ⋃n i,j=1 Pi ⊖ Pj ⊇ O, where ⊖ denotes the Minkowski difference operator, while minimizing the number of pupils, the sum of the radii or the total area of the pupils. This problem is motivated by the construction of very large telescopes from several smaller ones by so-calle...

We consider here a variation of Vector Addition Systems where one counter can be tested for zero. We extend the reachability proof for Vector Addition System recently published by Leroux to this model. This provides an alternate, more conceptual proof of the reachability problem that was originally proved by Reinhardt.