Searching for authors named "Barbara Sprick" – sorted by Relevance.
7 documents found, showing 1 through 7.
-
ARSPA'05 Preliminary Version An Automata Based Approach for Verifying Information Flow Properties
- … Properties Deepak D'Souza Raghavendra K.R. Barbara Sprick Department of Computer Science and Automation…
- Add To MetaCart
-
A Tableau Proof System for a Mazurkiewicz Trace Logic with Fixpoints
- …A Tableau Proof System for a Mazurkiewicz Trace Logic with Fixpoints Peter Niebert 1 and Barbara…
- Add To MetaCart
-
Towards Unifying Semantic Constraints and Security Constraints in Distributed Information Systems
- … Joachim Biskup and Barbara Sprick Fachbereich Informatik, Lehrstuhl 6 Universität Dortmund, Germany…
- Add To MetaCart
-
Weakly Constraining Multimedia Types Based on a Type Embedding Ordering
- …, Joachim Biskup, Jurgen Freitag, Barbara Sprick Fachbereich Informatik, Universitat Dortmund, Germany…
- Cited by 8 (6 self) – Add To MetaCart
-
A Mediator for Multimedia Systems
- …1 A Mediator for Multimedia Systems Joachim Biskup, Jrgen Freitag, Ycel Karabulut, Barbara Sprick…
- Cited by 12 (9 self) – Add To MetaCart
-
Specification of Access Control and Certification Policies for Semantic Web Services
- … Agarwal 1 and Barbara Sprick 2 1 Institute of Applied Informatics and Formal Description Methods (AIFB…
- Add To MetaCart
-
Query Evaluation in an Object-Oriented Multimedia Mediator
- … Karabulut, Barbara Sprick Fachbereich Informatik, Universitt Dortmund {biskup | jf | karabulu | sprick}@ls6…
- Cited by 10 (10 self) – Add To MetaCart
Showing 1 through 7.
