Auflistung nach Schriftenreihe Technischer Bericht / Universität Stuttgart, Fakultät Informatik, Elektrotechnik und Informationstechnik

Gehe zu: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
oder geben Sie die Anfangszeichen ein:  
Anzeige der Treffer 79 bis 98 von 105 < zurück   nächste
ErscheinungsdatumTitelAutor(en)
2011Propagation of states from BPEL process instances to Chevron modelsSchumm, David; Karastoyanova, Dimka; Leymann, Frank; Lie, Sumadi
1997A protocol for orphan detection and termination in mobile agent systemsBaumann, Joachim
1997A protocol for preserving the exactly-once property of mobile agentsRothermel, Kurt; Straßer, Markus
1999A protocol to detect malicious hosts attacks by using reference statesHohl, Fritz
2011A prototype for view-based monitoring of BPEL processesSchumm, David; Latuske, Gregor; Leymann, Frank
2010Rankers over infinite wordsDartois, Luc; Kufleitner, Manfred; Lauser, Alexander
2005Reachability analysis of multithreaded software with asynchronous communicationBouajjani, Ahmed; Esparza, Javier; Schwoon, Stefan; Strejcek, Jan
2005Realizing enterprise integration patterns in WebSphereScheibler, Thorsten; Leymann, Frank
1993Representing time in multimedia systemsWahl, Thomas; Rothermel, Kurt
1999A robust and efficient mechanism for constructing multicast acknowledgment treesRothermel, Kurt; Maihöfer, Christian
2002Ein Satz von Komponenten zur nachhaltigen Verwaltung und Umwandlung von frei formatierten WörterbuchdatenLagally, Klaus; Rzehak, Lutz
1998The shadow approach : an orphan detection protocol for mobile agentsBaumann, Joachim; Rothermel, Kurt
2010Shortest paths and negative cycle detection in graphs with negative weights. I, The Bellman-Ford-Moore algorithm revisitedLewandowski, Stefan
2006Space-based computing and semantics : a web service purist's point of viewLeymann, Frank
2002Spatial aware geographic Forwarding for mobile ad hoc networksTian, Jing; Stepanov, Illya; Rothermel, Kurt
1999Specification and scheduling of adaptive multimedia documentsWirag, Stefan
1999System mechanisms for partial rollback of mobile agent executionStraßer, Markus; Rothermel, Kurt
1998Task allocation in distributed multimedia systems based on the host-satellite modelDermler, Gabriel; Iqbal, Ashraf
1995TIEMPO: an authoring and presentation system for interactive multimediaWirag, Stefan; Wahl, Thomas; Rothermel, Kurt
2008Using variability descriptors to describe customizable SaaS application templatesMietzner, Ralph