Pr
368/27-00
Arbab F., Monfroy
E.B.G.
Distributed
splitting of constraint satisfaction problems
Amsterdam
2000 16 p
Rep.
/ CWI.Dept. Software engng; SEN-R-27-00
Pr
368/20-00
Arbab
F., Bonsangue M.M., Boer F.S.de
A
logical interface description language for components
Amsterdam
2000 17 p
Rep.
/ CWI. Dept. Software engng; SEN-R-20-00
Pr
368/35-00
Bergstra
J.A., Ponse A., Zwaag M.B. van der
Branchting
time and orthogonal bisimulation equivalence
Amsterdam
2000 38 p
Rep.
/ CWI. Dept.Software engng; SEN-R-35-00
Pr
368/30-00
Bergstra
J.A., Brand M.G.J. van der
Syntax
and semantics of a high - leval intermediate representation for ASF + SDF
Amsterdam
2000 23 p
Rep.
/ CWI. Dept. Software engng; SEN-R-30-00
Pr
368/21-00
Boer
F.S. de, Bonsague M.M.
A
compositional model for confluent dynamic data - flow networks
Amsterdam
2000 15 p
Rep.
/ CWI. Dept. Software engng; SEN-R-21-00
Pr
368/25-OO
Bonsangue
M.M., Kok J.N., Zavattaro
G.
Comparing
coordination models and architectures using embeddings
Amsterdam
2000 33 p
Rep.
/ CWI. Dept. Software engng; SEN-R-00-25
Pr368/29-00
Brand
M.G.J. van den , Ringeissen C.
ASF+SDF
Parsing tools applied to ELAN
Amsterdam
2000 18 p
Rep.
/CWI. Dept. Software engng; Sen R-00-29
Pr368/34-00
Groote
J.F., Reniers M.A., Wamel
J.J. van, Zwaag M.B. van der,
Completeness
of timed CRL
Amsterdam
2000 29 p
Rep.
/ CWI. Dept. Software engng; SEN-R-00-34
Pr368/32-00
Deursen
A. van , Klint P., Visser
J.M.W.
Domain-specific
languages
Amsterdam
2000 13 p
Rep.
/ CWI. Dept. Software engng; SEN-R-00-32
Pr368/31-00
Deursen
A. van ,
Moonen
L.M.F.
Exploring
legacy systems using types
Amsterdam
2000 10 p
Rep.
/ CWI. Dept. Software engng; Sen-R-00-31
Pr368/18-00
Deursen
A. van , Kuipers T. , Moonen
L.M.F.
Legacy
to the extreme
Amsterdam
2000 9 p
Rep.
/ CWI. Dept. Software engng; SEN-R-00-18
Pr368/28-00
Epstein
L. , Stee R. van
New
results on flow time with resource augmentation
Amsterdam
2000 12 p
Rep.
/ CWI. Dept. Software engng; SEN-R-00-28
Pr368/24-00
Gerding
E.H. , Bragt D.D.B. van , La
Poutre J.A.
Multi-issue
negotiation processes by evolutionary simulation: validation and social
extensions
Amsterdam
2000 21 p
Rep.
/ CWI. Dept. Software engng; SEN-R-00-24
Pr368/19-00
Groote
J.F. , Ponse A. , Usenko
Y.S.
Linearization
in parallel pCRL
Amsterdam
2000 30 p
Rep.
/ CWI. Dept. Software engng; SEN-R-19-00
Pr368/17-00
Kuipers
T. , Moonen L. M. F.
Types
and concept analysis for legacy systems
Amsterdam
2000 15 p
Rep.
/ CWI. Dept. Software engng; SEN-R-17-00
Pr368/22-00
Langdon
W.B.
Natural
language text classification and filtering with trigrams and evolutionary
nearest neighbour classifiers
Amsterdam
2000 10 p
Rep.
/ CWI. Dept. Software engng; SEN-R-22-00
Pr368/33-00
Pol
J. C. van de
Expressiveness
of basic splice
Amsterdam
2000 20 p
Rep.
/ CWI. Dept. Software engng; SEN-R-33-00
Pr368/23-00
Rutter
J. J. M. M.
Behavioural
differential equations: a counductive calculus of streams, automata, and
power series
Amsterdam
2000 46 p
Rep.
/ CWI. Dept. Software engng; SEN-R-23-00
Pr368/26-00
Bach
E. , Boyar J. , Epstein
L. , et al.
Tight
bounds on the competitive ratio on accommodating sequences for the
reservation problem
Amsterdam
2000 16 p
Rep.
/ CWI. Dept. Software engng; SEN-R-26-00
