Sciweavers

4966 search results - page 81 / 994
» its 2010
Sort
View
ECCC
2002
90views more  ECCC 2002»
15 years 6 months ago
Almost k-wise independence versus k-wise independence
We say that a distribution over {0, 1}n is ( , k)-wise independent if its restriction to every k coordinates results in a distribution that is -close to the uniform distribution. ...
Noga Alon, Oded Goldreich, Yishay Mansour
ECRA
2002
111views more  ECRA 2002»
15 years 6 months ago
The Web Service Modeling Framework WSMF
Web Services will transform the web from a collection of information into a distributed computational device. In order to employ their full potential, appropriate description means...
Dieter Fensel, Christoph Bussler
ENDM
2002
107views more  ENDM 2002»
15 years 6 months ago
Edge-Colorings of Complete Graphs that Avoid Polychromatic Trees
Given a positive integer n and a family F of graphs, let R(n, F) denote the maximum number of colors in an edge-coloring of Kn such that no subgraph of Kn belonging to F has disti...
Tao Jiang, Douglas B. West
ENTCS
2002
152views more  ENTCS 2002»
15 years 6 months ago
Contract-based mutation testing in the refinement calculus
This article discusses mutation testing strategies in the context of refinement. Here, a novel generalization of mutation testing techniques is presented to be applied to contract...
Bernhard K. Aichernig
ENTCS
2002
103views more  ENTCS 2002»
15 years 6 months ago
Deciding low levels of tree-automata hierarchy
The paper discusses the hierarchy of indices of finite automata over infinite objects. This hierarchy corresponds exactly to the hierarchy of alternations of least and greatest fi...
Igor Walukiewicz