|
3061 |
Standard and non-standard reasoning in description logics Brandt, Sebastian-Philipp, 2006
|
|
|
3062 |
Steerable texture synthesis for vector field visualization Taponecco, Francesca, 2006
|
|
|
3063 |
Structural summaries as a core technology for efficient XML retrieval Weigel, Felix, 2006
|
|
|
3064 |
Structured peer-to-peer services for mobile ad hoc networks Zahn, Thomas, 2006
|
|
|
3065 |
SWeMPs: a semantic web-enabled multimedia presentation system Nixon, Lyndon J. B., 2006
|
|
|
3066 |
Symbolic semantics and verification of stochastic process algebras Kuntz, Matthias, 2006
|
|
|
3067 |
Synthesis of distributed systems from synchronous dataflow programs Romberg, Jan, 2006
|
|
|
3068 |
Temporary binding for dynamic middleware construction and web services composition Huang, Wanjun, 2006
|
|
|
3069 |
Test generation using event sequence graphs Budnik, Christof J., 2006
|
|
|
3070 |
The inter-domain key exchange protocol Soltwisch, Rene Alexander, 2006
|
|