Search alternatives:
"composer" » "compose"

1
by Geurts, Frederic
Published 1998
Springer Berlin Heidelberg
Table of Contents: ... Framework: Iterated Relations and Composition -- Dynamics of Relations -- Dynamics of Composed Relations...

2
Published 1996
Springer Berlin Heidelberg
Table of Contents: ... -- On the reduction of composed relations from the number field sieve -- Checking the...

3
Published 1994
Springer London
Table of Contents: ... of an AI Tool for Beginning Melody Composers -- Uncovering Cognitive Processes in Music Composition...

4
Published 2002
Springer US
Table of Contents: .... Guideliness for Identifying Obstacles When Composing Distributed Systems from Components -- 2 Architectures...

5
Published 2003
Springer Berlin Heidelberg
Table of Contents: ...Foundations of Semantic Web Reasoning -- Composing Frameworks and Components for Families...

6
Published 1986
Springer Berlin Heidelberg
Table of Contents: ... laziness II: Composing listless functions -- From interpreter to compiler: A representational derivation...

7
Published 1994
Springer Berlin Heidelberg
Table of Contents: ... hybrid model for reasoning about composed hardware systems -- Composing symbolic trajectory evaluation...

8
Published 2002
Springer US
Table of Contents: ... -- A Semantic Framework for Specifying and Reasoning about Composable Distributed Middleware Services...

9
Published 1996
Springer Berlin Heidelberg
Table of Contents: ... problem -- A memory module specification using composable high-level petri nets -- Constraint oriented...

10
Published 1995
Springer Berlin Heidelberg
Table of Contents: ... and probabilistic machines -- Topological considerations in composing teams of learning machines -- Probabilistic...

11
Published 2000
Springer Berlin Heidelberg
Table of Contents: ...Keynote Address: The Changing Environment -- Composing Security Properties -- Auditing against...

12
Published 2004
Springer Berlin Heidelberg
Table of Contents: ...Invited Talks -- A Logical Account of NGSCB -- Composing Event Constraints in State-Based...

13
Published 1999
Springer US
Table of Contents: ... collaborative editing systems -- Generic and composable latecomer accommodation service for centralized shared...

14
Published 1997
Springer Berlin Heidelberg
Table of Contents: ... -- Composable semantic models for actor theories -- “Classical” programming-with-proofs in ? Sym PA...

15
Published 2002
Springer Berlin Heidelberg
Table of Contents: ... Routing Problems with Backhauls and Time Windows -- Modelling ACO: Composed Permutation Problems...

16
Published 2001
Springer Berlin Heidelberg
Table of Contents: ... -- Experiments in Composing Proxy Audio Services for Mobile Users -- Distributed Abstractions -- Thread...

17
Published 1990
Springer Berlin Heidelberg
Table of Contents: ...Composing specifications -- Refinement calculus, part I: Sequential nondeterministic programs...

18
Published 2004
Springer New York
Table of Contents: ... Analysis, Composability and Computation -- Access Control in Distributed Systems -- Implementing Condition...

19
Published 1995
Springer Berlin Heidelberg
Table of Contents: ... System using a class of modular algebraic nets -- A class of composable high level Petri nets...

20
Published 2000
Springer Berlin Heidelberg
Table of Contents: ... Model of Time Petri Nets -- Composing Abstractions of Coloured Petri Nets -- Modelling and Analysis of a...