A b s t r a c t J u s t a s a b u s y k i t c h e n c a n b e m o r e e c i e n t t h a n

In this paper we investigate the asymptotic behavior of the k-th smallest uniform spacing. Among other things, a complete characterization of upper and lower class sequences is obtained. The asymptotic behavior is similar in many respects to that of the minimum of independent uniformly distributed random variables. Let X1 , . . . ,X , be independent identically distributed uniform (0, 1) random...

Let Xn = {1, 2, · · · , n} and let α : Domα ⊆ Xn → Imα ⊆ Xn be a (partial) transformation on Xn. The height of a transformation α is h(α) = | Imα|, the right [left] waist of α is w+(α) = max( Imα) [w−(α) = min( Imα)], and fix of α is denoted by f(α), and defined by f(α) = |F (α)| = |{x ∈ Xn : xα = x}|. In this note we obtain formulae involving binomial coefficients of F (n; p,m, k) = |{α ∈ In :...

0 7 4 0 7 4 5 9 / 0 3 / $ 1 9 . 0 0 © 2 0 0 3 I E E E In the past, our team wrote many requirements documents at the start of a release project. This approach sometimes led to a bottleneck because the stakeholders who provided the content of product requirements were also needed for testing at the end of the previous release project. Our current approach recognizes that there is a continuous st...

In accordance with the notations of [4] we say that a cardinal m possesses property P 3 if every two-valued measure μ(X) defined on all subsets of a set S of power m vanishes identically, provided p({x}) =0 for every x E S and p(X) is m-additive . It was well known that tt o fails to possess property P 3 and that every cardinal m < t, possesses property P 3 where t, denotes the first uncountabl...

M o d u l e I n t e r c o n n e c t i o n L a n g u a g e s ( M I L s ) a r e b a s e d o n t h e d i f f e r e n c e b e t w e e n _ _ _ _ P r o g r a m m i n g i n t h e l a r g e ( P L ) a n d P r o g r a m m i n g i n t h e s m a l l ( P S ) . T h e p r i m a r y difference between PL and PS is that “structuring a large collection of modules to form a s y s t e m ( P L ) i s a n e s s e n t...

We evaluate the prospects for measuring B(h !) for a Standard-Model-like Higgs boson at the Next Linear e + e ? Collider in the e + e ? ! Z ? ! Zh and e + e ? ! e e h production modes. Relative merits of diierent machine energy/luminosity strategies and diierent electromagnetic calorimeter designs are evaluated. We emphasize the importance of measuring B(h !) in order to obtain the total width ...

0 7 4 0 7 4 5 9 / 0 3 / $ 1 7 . 0 0 © 2 0 0 3 I E E E Marianne Mathiassen and I developed the Tasks & Support method, which uses annotated task descriptions. They specify what the computer and user shall accomplish together without indicating which actor performs which parts of the tasks. This method produces higher-quality requirements that are faster to produce and easy to verify and validate.

It is said that objects occur naturally, meaning that good Object Oriented (OO) model reflects reality. The person who best understands reality is the domain manager; unfortunately he is not computer savvy. This paper attempts to make the manager aware of fundamentals of OO thinking so that he/she feels confident of attempting a first cut OO model of the intended application. Every manager worr...

This paper presents LexPhon, a c o m p u t a t i o n a l f r a m e w o r k for m o d e l l i n g segmenta l aspects of Lexica l P h o n o l o g y (LP). After describing the LexPhon system and indicat ing how it may be set to represent a l t e r n a t i v e l a n g u a g e descriptions within LP, its potential application in the characterisation of s p e e c h s t y l e c o n t r a s t s is demo...