Sciweavers

4581 search results - page 374 / 917
» Computing Transformation Semigroups
Sort
View
ENTCS
2006
174views more  ENTCS 2006»
15 years 6 months ago
Context Sequence Matching for XML
Context and sequence variables allow matching to explore term-trees both in depth and in breadth. It makes context sequence matching a suitable computational mechanism for a rule-...
Temur Kutsia
INTERNET
2007
131views more  INTERNET 2007»
15 years 6 months ago
Live Distributed Objects: Enabling the Active Web
Distributed computing has been slow to benefit from the productivity revolution that has transformed the desktop. We still treat the Web as a separate technology space: programmer...
Krzysztof Ostrowski, Ken Birman, Danny Dolev
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
MOC
1998
83views more  MOC 1998»
15 years 6 months ago
A sweep-plane algorithm for generating random tuples in simple polytopes
Abstract. A sweep-plane algorithm of Lawrence for convex polytope computation is adapted to generate random tuples on simple polytopes. In our method an affine hyperplane is swept ...
Josef Leydold, Wolfgang Hörmann
SIAMCOMP
2002
153views more  SIAMCOMP 2002»
15 years 6 months ago
A Decision Procedure for Unitary Linear Quantum Cellular Automata
Linear quantum cellular automata were introduced recently as one of the models of quantum computing. A basic postulate of quantum mechanics imposes a strong constraint on any quan...
Christoph Dürr, Miklos Santha