Search alternatives:
"composer" » "compositer"
"composed" » "composited"
"compose" » "composite"

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

16
Published 2001
Springer Berlin Heidelberg
Table of Contents: ... -- Divide and Compose: SCC Refinement for Language Emptiness --...

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

18
Published 2001
Springer Berlin Heidelberg
Table of Contents: ... of Business Processes -- Developing E-Services for Composing E-Services -- Data Models with Multiple Temporal...

19
Published 2003
Springer Berlin Heidelberg
Table of Contents: ... Separators -- Composing Equipotent Teams -- Algorithms 2 -- Efficient Algorithms for GCD and Cubic...

20
Published 2002
Springer Berlin Heidelberg
Table of Contents: ... -- Control of Switched Hybrid Systems Based on Disjunctive Formulations -- Composing Abstractions of Hybrid...