DM
2008
13 years 11 months ago
2008
In this paper we show that for large primes the Giulietti-Ughi arcs in PG(2, p2) are not complete. In the second half of the paper we extend the original arc. Key words: Arc, Proj...
DM
2008
13 years 11 months ago
2008
Let G be the set that contains precisely the graphs on n vertices with maximum degree 3 for which there exists a 4-cycle system of their complement in Kn. In this paper G is compl...
DEBU
2008
13 years 11 months ago
2008
This paper discusses the notion of protocol compatibility between Web services, and reviews a number of techniques for detecting incompatibilities and for synthesizing adapters fo...
DAM
2008
13 years 11 months ago
2008
In this short paper we examine the problem of scheduling malleable tasks on parallel processors. One of the main aims of the paper is to present a simple complexity interpretation...
DAM
2008
13 years 11 months ago
2008
In this paper we solve several recurrence relations with two (three) indices using combinatorial methods. Moreover, we present several recurrence relations with two (three) indice...
CORR
2008
Springer
13 years 11 months ago
2008
Springer
In this paper we describe what a desynchronised channel on IRC is. We give procedures on how to create such a channel and how to remove desynchronisation. We explain which types o...
CORR
2008
Springer
13 years 11 months ago
2008
Springer
Abstract. This paper presents Privilege Calculus (PC) as a new approach of knowledge representation for Separation of Duty (SD) in the view of process and intents to improve the re...
CORR
2008
Springer
13 years 11 months ago
2008
Springer
This paper presents simple, syntactic strong normalization proofs for the simply-typed -calculus and the polymorphic -calculus (system F) with the full set of logical connectives, ...
CORR
2010
Springer
13 years 11 months ago
2010
Springer
Identification of time-varying linear systems, which introduce both time-shifts (delays) and frequencyshifts (Doppler-shifts) to the input signal, is one of the central tasks in m...
COMGEO
2008
ACM
13 years 11 months ago
2008
ACM
Given a set of points P Rd and value > 0, an -core-set S P has the property that the smallest ball containing S is within of the smallest ball containing P. This paper shows ...