Informatik
Hochschule Trier
- +49 (0)651/8103-345
- +49 (0)651/8103-454
- sek@informatik.hochschule-trier.de
Schneider, Georg; Hoymann, Christian; Goose, Stuart
Adhoc Personal Ubiquitous Multimedia Services Via Upnp.ICME. 2001
Pham, Thai-Lai; Schneider, Georg; Goose, Stuart et al.
Composite Device Computing Environment: A Framework for Situated Interaction Using Small Screen Devices.Pers. Ubiquitous Comput. Bd. 5. H. 1. 2001 S. 25 - 28
Oechsle, Rainer
Enterprise Java Beans und Jini - zwei Plattformen für die Entwicklung verteilter SystemeH.-J. Scheibl (Hrsg). Software-Entwicklung für Internet und Intranet. Bd. 9. Technische Akademie Esslingen. 2001 S. 27 - 36
Oechsle, Rainer
Parallele Programmierung mit Java ThreadsMünchen [u.a.]: Fachbuchverl. Leipzig im Carl Hanser-Verl. 2001 172 S.
Nonnengart, Andreas; Rock, Georg; Stephan, Werner
Using Hybrid Automata to Express Realtime Properties in VSE-II.FLAIRS. 2001 S. 640 - 644
Oechsle, Rainer; Schneider, U.; Werner, D.
Verteilte Systeme (Kapitel 15)Taschenbuch der Informatik. 4. Aufl. Fachbuch-Verlag Leipzig 2001 S. 529 - 548
Pham, Thai-Lai; Schneider, Georg; Goose, Stuart
A situated computing framework for mobile and ubiquitous multimedia access using small screen and composite devices.ACM Multimedia. 2000 S. 323 - 331
Pham, Thai-Lai; Schneider, Georg; Goose, Stuart
Exploiting Location-Based Composite Devices to Support and Facilitate Situated Ubiquitous Computing.HUC. 2000 S. 143 - 156
Hutter, Dieter; Langenstein, Bruno; Rock, Georg et al.
Formal software development in the Verification Support Environment (VSE).J. Exp. Theor. Artif. Intell. Bd. 12. H. 4. 2000 S. 383 - 406
Hutter, Dieter; Rock, Georg; H. Siekmann, Jörg et al.
Formal Software Development in the Verification Support Environment (VSE).FLAIRS. 2000 S. 367 - 376