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