/intelligent-systems/publikationen?tx_upatheme_mobilenav%5BpageUid%5D=19277&type=20190226&cHash=8e32b488df2f5cff4d2848381cc0feb2
Bewerbung und Einschreibung Studienangebot Studienberatung Vorlesungsverzeichnis Auslandsamt Karriere und Kompetenzen Prüfungssekretariat Graduiertenzentrum Studentenwerk Universitätsbibliothek
English
Hauptnavigation öffnen
Suche einschränken Gesamte Universität Hilfe- und Supportportal
Lehrstuhl Algorithmen für Intelligente Systeme

Publikationen

2000

183.
Karjoth , G. ; Posegga , J.
Mobile Agents and Telcos' Nightmares
Annales des Telecommunications , 55 (7/8) :29--41
2000
http://web.sec.uni-passau.de/papers/nightmare.pdf
182.
Bouch , Anna ; Sasse , M. Angela ; de Meer , Hermann
Of Packets and People: A User-Centered Approach ot Quality of Service
Proc. of the 8th IEEE Int'l Workshop on Quality of Service (IWQoS 2000) , Seite 189--197
Herausgeber: IEEE
2000
DOI: 10.1109/IWQOS.2000.847955
ISBN: 0-7803-6266-7
181.
de Meer , Hermann
On Selfish and Cooperative Multimedia Applications
Dokument Nummer: RN/00/65
Dept. of Computer Science, University College London (UCL), U.K.
2000
180.
Burmeister , Peter ; Holzer , Richard
On the treatment of incomplete knowledge in Formal Concept Analysis
In Ganter, Bernhard and Mineau, Guy W., Editor , Conceptual Structures: Logical, Linguistic, and Computational Issues - Proc. of the 8th Int'l Conf. on Conceptual Structures (ICCS 2000) Band 1867 aus Lecture notes in Artificial Intelligence (LNAI) , Seite 385--398
In Ganter, Bernhard and Mineau, Guy W., Editor
Herausgeber: Springer-Verlag
2000
DOI: 10.1007/10722280_27
ISBN: 978-3-540-67859-5
179.
de Meer , Hermann ; La Corte , Aurelio ; Puliafito , Antonio ; Tomarchio , Orazio
Programmable Agents for Flexible QoS Management in IP Networks
IEEE journal on Selected Areas in Communications (J-SAC) , 18 (2) :256--267
2000
Herausgeber: IEEE
ISSN: 0733-8716
DOI: 10.1109/49.824809
178.
Knoche , Hendrik ; de Meer , Hermann
QoS Parameters: A Comparative Study
Dokument Nummer: TR RN/00/64
Dept. of Computer Science, University College London (UCL), U.K.
2000
177.
Burmeister , Peter ; Holzer , Richard ; Maczynski , Maciej
Quasi-rings and congruences in the theory of orthomodular algebras
Algebra Universalis , 44 (3-4) :333--369
2000
ISSN: 0002-5240 (Print); 1420-8911 (Online)
DOI: 10.1007/s000120050192
176.
Posegga , Joachim
Secure Mobile Commerce: A Plug an Pay Approach
{P}roc. {M}icro.tec 2000 ,
Herausgeber: VDE Verlag , EXPO, Hannover
2000
175.
Tyagi , Anurag ; Muppala , Jogesh K. ; de Meer , Hermann
VoIP support on Differentiated Services Using Expedited Forwarding
Proc. of the 19th IEEE Int'l Performance, Computing and Communications Conf. (IPCCC 2000) , Seite 574--580
Herausgeber: IEEE
2000
ISBN: 0-7803-5979-8

1999

174.
Zaddach , Martin ; de Meer , Hermann
{COSTPN} zur {M}odellierung und {K}ontrolle rekonfigurierbarer {S}ysteme
Computer Science Department, University of Hamburg
1999
http://www.net.fim.uni-passau.de/pdf/Zaddach1999a.pdf
173.
Tyagi , Anurag ; Muppala , Jogesh K. ; de Meer , Hermann
A Study of Expedited Forwarding in Differentiated Services and its Performance Characteristics Using CBQ Implementation
Proc. of the 7th Int'l Conf. on Advanced Computing and Communications (ADCOM 1999) ,
1999
172.
Campbell , Andrew T. ; de Meer , Hermann ; Kounavis , Michael E. ; Miki , Kazuho ; Vicente , John ; Villela , Daniel A.
A Survey of Programmable Networks
Computer Communication Review (CCR) , 29 (2) :7--23
1999
Herausgeber: ACM
ISSN: 0146-4833
DOI: 10.1145/505733.505735
171.
de Meer , Hermann ; Duesterhoeft , Oliver-Rainer ; Fischer , Stefan
COSTPN for Modeling and Control of Telecommunication Systems
In Billington, Jonathan and Diaz, Michel and Rozenberg, Grzegorz, Editor , Application of Petri Nets to Communication Networks, Advances in Petri Nets Band 1605 aus Lecture notes in Computer Science (LNCS)
Seite 232--272
Herausgeber: Springer-Verlag , London, UK
1999
232--272
DOI: 10.1007/BFb0097779
ISBN: 3-540-65870-X
http://www.net.fim.uni-passau.de/pdf/DeMeer1999a.pdf
170.
Zaddach , Martin ; de Meer , Hermann
COSTPN zur Modellierung und Kontrolle rekonfigurierbarer Systeme
Computer Science Department, University of Hamburg
1999
http://www.net.fim.uni-passau.de/pdf/Zaddach1999a.pdf
169.
Gavras , A. ; Mattern , F. ; Posegga , J.
Future Services for Networked Devices (Workshop Proceedings)
, Band 22 ,
Herausgeber: EURESCOM GmbH , Heidelberg, Germany
1999
http://www.eurescom.de/\verb=~=fusenetd
168.
Gabbay , Dov ; D'Agostino , Marcello ; Hähnle , Reiner ; Posegga (Eds.) , Joachim
Handbook of Tableau-based Methods in Automated Deduction
Herausgeber: Kluwer Academic Publishers
1999
167.
Posegga , Joachim ; Schmitt , P.H.
Implementing Tableau-based Deduction
In Dov Gabbay et.al., Editor , Handbook of Tableau-based Methods in Automated Deduction
Herausgeber: Kluwer Academic Publishers
1999
166.
Basin , David ; Friedrich , Stefan ; Posegga , Joachim ; Vogt , Harald
Java Bytecode Verification by Model Checking (System Abstract)
Proc. Conf. on Computer Aided Verification ,
Herausgeber: Springer LNCS
1999
http://web.sec.uni-passau.de/papers/CAV99.pdf
165.
Posegga , Joachim
Jini: Infrastruktur für dynamische Dienste in verteilten Systemen
Informatik-Spektrum , 22 (1)
1999
Herausgeber: Springer Verlag
http://web.sec.uni-passau.de/papers/JiniInfSp.pdf
164.
Kehr , Roger ; Posegga , Joachim ; Vogt , Harald
PCA: Jini-based Personal Card Assistant
In Rainer Baumgart, Editor , CQRE-Secure ,
In Rainer Baumgart, Editor
Herausgeber: Springer Verlag
1999
DOI: http://www.springerlink.com/content/19u9qcwpwqdqk5l7/
http://web.sec.uni-passau.de/papers/PCA.pdf
163.
Munch-Ellingsen , Arne ; S. Malm , Pal ; Posegga , Joachim ; Kehr , Roger ; Privat , Gilles ; Airiau , Roland ; Hardwick , Andrew
Smart Devices
aus EURESCOM Strategy Studies
Herausgeber: EURESCOM GmbH , Heidelberg, Germany
1999
http://www.eurescom.de/\verb=~=pub-deliverables/P900-series/P946/D1/p946d1.pdf
162.
Campbell , Andrew T. ; Kounavis , Michael E. ; Villela , Daniel A. ; Vicente , John ; de Meer , Hermann ; Miki , Kazuho ; Kalaichelvan , K. S.
Spawning Networks
IEEE Network Magazine , 13 (4) :July
1999
Herausgeber: IEEE
ISSN: 0890-8044
DOI: 10.1109/65.777438
161.
Campbell , Andrew T. ; de Meer , Hermann ; Kounavis , Michael E. ; Miki , Kazuho ; Vicente , John ; Villela , Daniel A.
The Genesis Kernel: A Virtual Network Operating System for Spawning Network Architectures
Proc. of the 2nd IEEE Int'l Conf. on Open Architectures and Network Programming (OPENARCH 1999) , Seite 115--127
1999
DOI: 10.1109/OPNARC.1999.758566
ISBN: 0-7803-5261-0
160.
Knoche , Hendrik ; de Meer , Hermann ; Kirsh , David
Utility Curves: Mean Opinion Scores Considered Biased
Proc. of the 7th IEEE/IFIP Int'l Workshop on Quality of Service (IWQoS 1999), , Seite 12--14
1999
DOI: 10.1109/IWQOS.1999.766473
ISBN: 0-7803-5671-3

1998

159.
Posegga , Joachim ; Vogt , Harald
Byte Code Verification for Java Smart Cards Based on Model Checking
5th European Symposium on Research in Computer Security (ESORICS) aus Lecture Notes in Computer Science ,
Herausgeber: Springer Verlag , Louvain-la-Neuve, Belgium
1998
http://web.sec.uni-passau.de/papers/ESORICS98.pdf
183.
Karjoth , G. ; Posegga , J.
Mobile Agents and Telcos' Nightmares
Annales des Telecommunications , 55 (7/8) :29--41
2000
http://web.sec.uni-passau.de/papers/nightmare.pdf
182.
Bouch , Anna ; Sasse , M. Angela ; de Meer , Hermann
Of Packets and People: A User-Centered Approach ot Quality of Service
Proc. of the 8th IEEE Int'l Workshop on Quality of Service (IWQoS 2000) , Seite 189--197
Herausgeber: IEEE
2000
DOI: 10.1109/IWQOS.2000.847955
ISBN: 0-7803-6266-7
181.
de Meer , Hermann
On Selfish and Cooperative Multimedia Applications
Dokument Nummer: RN/00/65
Dept. of Computer Science, University College London (UCL), U.K.
2000
180.
Burmeister , Peter ; Holzer , Richard
On the treatment of incomplete knowledge in Formal Concept Analysis
In Ganter, Bernhard and Mineau, Guy W., Editor , Conceptual Structures: Logical, Linguistic, and Computational Issues - Proc. of the 8th Int'l Conf. on Conceptual Structures (ICCS 2000) Band 1867 aus Lecture notes in Artificial Intelligence (LNAI) , Seite 385--398
In Ganter, Bernhard and Mineau, Guy W., Editor
Herausgeber: Springer-Verlag
2000
DOI: 10.1007/10722280_27
ISBN: 978-3-540-67859-5
179.
de Meer , Hermann ; La Corte , Aurelio ; Puliafito , Antonio ; Tomarchio , Orazio
Programmable Agents for Flexible QoS Management in IP Networks
IEEE journal on Selected Areas in Communications (J-SAC) , 18 (2) :256--267
2000
Herausgeber: IEEE
ISSN: 0733-8716
DOI: 10.1109/49.824809
178.
Knoche , Hendrik ; de Meer , Hermann
QoS Parameters: A Comparative Study
Dokument Nummer: TR RN/00/64
Dept. of Computer Science, University College London (UCL), U.K.
2000
177.
Burmeister , Peter ; Holzer , Richard ; Maczynski , Maciej
Quasi-rings and congruences in the theory of orthomodular algebras
Algebra Universalis , 44 (3-4) :333--369
2000
ISSN: 0002-5240 (Print); 1420-8911 (Online)
DOI: 10.1007/s000120050192
176.
Posegga , Joachim
Secure Mobile Commerce: A Plug an Pay Approach
{P}roc. {M}icro.tec 2000 ,
Herausgeber: VDE Verlag , EXPO, Hannover
2000
175.
Tyagi , Anurag ; Muppala , Jogesh K. ; de Meer , Hermann
VoIP support on Differentiated Services Using Expedited Forwarding
Proc. of the 19th IEEE Int'l Performance, Computing and Communications Conf. (IPCCC 2000) , Seite 574--580
Herausgeber: IEEE
2000
ISBN: 0-7803-5979-8
174.
Zaddach , Martin ; de Meer , Hermann
{COSTPN} zur {M}odellierung und {K}ontrolle rekonfigurierbarer {S}ysteme
Computer Science Department, University of Hamburg
1999
http://www.net.fim.uni-passau.de/pdf/Zaddach1999a.pdf
173.
Tyagi , Anurag ; Muppala , Jogesh K. ; de Meer , Hermann
A Study of Expedited Forwarding in Differentiated Services and its Performance Characteristics Using CBQ Implementation
Proc. of the 7th Int'l Conf. on Advanced Computing and Communications (ADCOM 1999) ,
1999
172.
Campbell , Andrew T. ; de Meer , Hermann ; Kounavis , Michael E. ; Miki , Kazuho ; Vicente , John ; Villela , Daniel A.
A Survey of Programmable Networks
Computer Communication Review (CCR) , 29 (2) :7--23
1999
Herausgeber: ACM
ISSN: 0146-4833
DOI: 10.1145/505733.505735
171.
de Meer , Hermann ; Duesterhoeft , Oliver-Rainer ; Fischer , Stefan
COSTPN for Modeling and Control of Telecommunication Systems
In Billington, Jonathan and Diaz, Michel and Rozenberg, Grzegorz, Editor , Application of Petri Nets to Communication Networks, Advances in Petri Nets Band 1605 aus Lecture notes in Computer Science (LNCS)
Seite 232--272
Herausgeber: Springer-Verlag , London, UK
1999
232--272
DOI: 10.1007/BFb0097779
ISBN: 3-540-65870-X
http://www.net.fim.uni-passau.de/pdf/DeMeer1999a.pdf
170.
Zaddach , Martin ; de Meer , Hermann
COSTPN zur Modellierung und Kontrolle rekonfigurierbarer Systeme
Computer Science Department, University of Hamburg
1999
http://www.net.fim.uni-passau.de/pdf/Zaddach1999a.pdf
169.
Gavras , A. ; Mattern , F. ; Posegga , J.
Future Services for Networked Devices (Workshop Proceedings)
, Band 22 ,
Herausgeber: EURESCOM GmbH , Heidelberg, Germany
1999
http://www.eurescom.de/\verb=~=fusenetd
168.
Gabbay , Dov ; D'Agostino , Marcello ; Hähnle , Reiner ; Posegga (Eds.) , Joachim
Handbook of Tableau-based Methods in Automated Deduction
Herausgeber: Kluwer Academic Publishers
1999
167.
Posegga , Joachim ; Schmitt , P.H.
Implementing Tableau-based Deduction
In Dov Gabbay et.al., Editor , Handbook of Tableau-based Methods in Automated Deduction
Herausgeber: Kluwer Academic Publishers
1999
166.
Basin , David ; Friedrich , Stefan ; Posegga , Joachim ; Vogt , Harald
Java Bytecode Verification by Model Checking (System Abstract)
Proc. Conf. on Computer Aided Verification ,
Herausgeber: Springer LNCS
1999
http://web.sec.uni-passau.de/papers/CAV99.pdf
165.
Posegga , Joachim
Jini: Infrastruktur für dynamische Dienste in verteilten Systemen
Informatik-Spektrum , 22 (1)
1999
Herausgeber: Springer Verlag
http://web.sec.uni-passau.de/papers/JiniInfSp.pdf
164.
Kehr , Roger ; Posegga , Joachim ; Vogt , Harald
PCA: Jini-based Personal Card Assistant
In Rainer Baumgart, Editor , CQRE-Secure ,
In Rainer Baumgart, Editor
Herausgeber: Springer Verlag
1999
DOI: http://www.springerlink.com/content/19u9qcwpwqdqk5l7/
http://web.sec.uni-passau.de/papers/PCA.pdf
163.
Munch-Ellingsen , Arne ; S. Malm , Pal ; Posegga , Joachim ; Kehr , Roger ; Privat , Gilles ; Airiau , Roland ; Hardwick , Andrew
Smart Devices
aus EURESCOM Strategy Studies
Herausgeber: EURESCOM GmbH , Heidelberg, Germany
1999
http://www.eurescom.de/\verb=~=pub-deliverables/P900-series/P946/D1/p946d1.pdf
162.
Campbell , Andrew T. ; Kounavis , Michael E. ; Villela , Daniel A. ; Vicente , John ; de Meer , Hermann ; Miki , Kazuho ; Kalaichelvan , K. S.
Spawning Networks
IEEE Network Magazine , 13 (4) :July
1999
Herausgeber: IEEE
ISSN: 0890-8044
DOI: 10.1109/65.777438
161.
Campbell , Andrew T. ; de Meer , Hermann ; Kounavis , Michael E. ; Miki , Kazuho ; Vicente , John ; Villela , Daniel A.
The Genesis Kernel: A Virtual Network Operating System for Spawning Network Architectures
Proc. of the 2nd IEEE Int'l Conf. on Open Architectures and Network Programming (OPENARCH 1999) , Seite 115--127
1999
DOI: 10.1109/OPNARC.1999.758566
ISBN: 0-7803-5261-0
160.
Knoche , Hendrik ; de Meer , Hermann ; Kirsh , David
Utility Curves: Mean Opinion Scores Considered Biased
Proc. of the 7th IEEE/IFIP Int'l Workshop on Quality of Service (IWQoS 1999), , Seite 12--14
1999
DOI: 10.1109/IWQOS.1999.766473
ISBN: 0-7803-5671-3
159.
Posegga , Joachim ; Vogt , Harald
Byte Code Verification for Java Smart Cards Based on Model Checking
5th European Symposium on Research in Computer Security (ESORICS) aus Lecture Notes in Computer Science ,
Herausgeber: Springer Verlag , Louvain-la-Neuve, Belgium
1998
http://web.sec.uni-passau.de/papers/ESORICS98.pdf
183.
Karjoth , G. ; Posegga , J.
Mobile Agents and Telcos' Nightmares
Annales des Telecommunications , 55 (7/8) :29--41
2000
http://web.sec.uni-passau.de/papers/nightmare.pdf
182.
Bouch , Anna ; Sasse , M. Angela ; de Meer , Hermann
Of Packets and People: A User-Centered Approach ot Quality of Service
Proc. of the 8th IEEE Int'l Workshop on Quality of Service (IWQoS 2000) , Seite 189--197
Herausgeber: IEEE
2000
DOI: 10.1109/IWQOS.2000.847955
ISBN: 0-7803-6266-7
181.
de Meer , Hermann
On Selfish and Cooperative Multimedia Applications
Dokument Nummer: RN/00/65
Dept. of Computer Science, University College London (UCL), U.K.
2000
180.
Burmeister , Peter ; Holzer , Richard
On the treatment of incomplete knowledge in Formal Concept Analysis
In Ganter, Bernhard and Mineau, Guy W., Editor , Conceptual Structures: Logical, Linguistic, and Computational Issues - Proc. of the 8th Int'l Conf. on Conceptual Structures (ICCS 2000) Band 1867 aus Lecture notes in Artificial Intelligence (LNAI) , Seite 385--398
In Ganter, Bernhard and Mineau, Guy W., Editor
Herausgeber: Springer-Verlag
2000
DOI: 10.1007/10722280_27
ISBN: 978-3-540-67859-5
179.
de Meer , Hermann ; La Corte , Aurelio ; Puliafito , Antonio ; Tomarchio , Orazio
Programmable Agents for Flexible QoS Management in IP Networks
IEEE journal on Selected Areas in Communications (J-SAC) , 18 (2) :256--267
2000
Herausgeber: IEEE
ISSN: 0733-8716
DOI: 10.1109/49.824809
178.
Knoche , Hendrik ; de Meer , Hermann
QoS Parameters: A Comparative Study
Dokument Nummer: TR RN/00/64
Dept. of Computer Science, University College London (UCL), U.K.
2000
177.
Burmeister , Peter ; Holzer , Richard ; Maczynski , Maciej
Quasi-rings and congruences in the theory of orthomodular algebras
Algebra Universalis , 44 (3-4) :333--369
2000
ISSN: 0002-5240 (Print); 1420-8911 (Online)
DOI: 10.1007/s000120050192
176.
Posegga , Joachim
Secure Mobile Commerce: A Plug an Pay Approach
{P}roc. {M}icro.tec 2000 ,
Herausgeber: VDE Verlag , EXPO, Hannover
2000
175.
Tyagi , Anurag ; Muppala , Jogesh K. ; de Meer , Hermann
VoIP support on Differentiated Services Using Expedited Forwarding
Proc. of the 19th IEEE Int'l Performance, Computing and Communications Conf. (IPCCC 2000) , Seite 574--580
Herausgeber: IEEE
2000
ISBN: 0-7803-5979-8
174.
Zaddach , Martin ; de Meer , Hermann
{COSTPN} zur {M}odellierung und {K}ontrolle rekonfigurierbarer {S}ysteme
Computer Science Department, University of Hamburg
1999
http://www.net.fim.uni-passau.de/pdf/Zaddach1999a.pdf
173.
Tyagi , Anurag ; Muppala , Jogesh K. ; de Meer , Hermann
A Study of Expedited Forwarding in Differentiated Services and its Performance Characteristics Using CBQ Implementation
Proc. of the 7th Int'l Conf. on Advanced Computing and Communications (ADCOM 1999) ,
1999
172.
Campbell , Andrew T. ; de Meer , Hermann ; Kounavis , Michael E. ; Miki , Kazuho ; Vicente , John ; Villela , Daniel A.
A Survey of Programmable Networks
Computer Communication Review (CCR) , 29 (2) :7--23
1999
Herausgeber: ACM
ISSN: 0146-4833
DOI: 10.1145/505733.505735
171.
de Meer , Hermann ; Duesterhoeft , Oliver-Rainer ; Fischer , Stefan
COSTPN for Modeling and Control of Telecommunication Systems
In Billington, Jonathan and Diaz, Michel and Rozenberg, Grzegorz, Editor , Application of Petri Nets to Communication Networks, Advances in Petri Nets Band 1605 aus Lecture notes in Computer Science (LNCS)
Seite 232--272
Herausgeber: Springer-Verlag , London, UK
1999
232--272
DOI: 10.1007/BFb0097779
ISBN: 3-540-65870-X
http://www.net.fim.uni-passau.de/pdf/DeMeer1999a.pdf
170.
Zaddach , Martin ; de Meer , Hermann
COSTPN zur Modellierung und Kontrolle rekonfigurierbarer Systeme
Computer Science Department, University of Hamburg
1999
http://www.net.fim.uni-passau.de/pdf/Zaddach1999a.pdf
169.
Gavras , A. ; Mattern , F. ; Posegga , J.
Future Services for Networked Devices (Workshop Proceedings)
, Band 22 ,
Herausgeber: EURESCOM GmbH , Heidelberg, Germany
1999
http://www.eurescom.de/\verb=~=fusenetd
168.
Gabbay , Dov ; D'Agostino , Marcello ; Hähnle , Reiner ; Posegga (Eds.) , Joachim
Handbook of Tableau-based Methods in Automated Deduction
Herausgeber: Kluwer Academic Publishers
1999
167.
Posegga , Joachim ; Schmitt , P.H.
Implementing Tableau-based Deduction
In Dov Gabbay et.al., Editor , Handbook of Tableau-based Methods in Automated Deduction
Herausgeber: Kluwer Academic Publishers
1999
166.
Basin , David ; Friedrich , Stefan ; Posegga , Joachim ; Vogt , Harald
Java Bytecode Verification by Model Checking (System Abstract)
Proc. Conf. on Computer Aided Verification ,
Herausgeber: Springer LNCS
1999
http://web.sec.uni-passau.de/papers/CAV99.pdf
165.
Posegga , Joachim
Jini: Infrastruktur für dynamische Dienste in verteilten Systemen
Informatik-Spektrum , 22 (1)
1999
Herausgeber: Springer Verlag
http://web.sec.uni-passau.de/papers/JiniInfSp.pdf
164.
Kehr , Roger ; Posegga , Joachim ; Vogt , Harald
PCA: Jini-based Personal Card Assistant
In Rainer Baumgart, Editor , CQRE-Secure ,
In Rainer Baumgart, Editor
Herausgeber: Springer Verlag
1999
DOI: http://www.springerlink.com/content/19u9qcwpwqdqk5l7/
http://web.sec.uni-passau.de/papers/PCA.pdf
163.
Munch-Ellingsen , Arne ; S. Malm , Pal ; Posegga , Joachim ; Kehr , Roger ; Privat , Gilles ; Airiau , Roland ; Hardwick , Andrew
Smart Devices
aus EURESCOM Strategy Studies
Herausgeber: EURESCOM GmbH , Heidelberg, Germany
1999
http://www.eurescom.de/\verb=~=pub-deliverables/P900-series/P946/D1/p946d1.pdf
162.
Campbell , Andrew T. ; Kounavis , Michael E. ; Villela , Daniel A. ; Vicente , John ; de Meer , Hermann ; Miki , Kazuho ; Kalaichelvan , K. S.
Spawning Networks
IEEE Network Magazine , 13 (4) :July
1999
Herausgeber: IEEE
ISSN: 0890-8044
DOI: 10.1109/65.777438
161.
Campbell , Andrew T. ; de Meer , Hermann ; Kounavis , Michael E. ; Miki , Kazuho ; Vicente , John ; Villela , Daniel A.
The Genesis Kernel: A Virtual Network Operating System for Spawning Network Architectures
Proc. of the 2nd IEEE Int'l Conf. on Open Architectures and Network Programming (OPENARCH 1999) , Seite 115--127
1999
DOI: 10.1109/OPNARC.1999.758566
ISBN: 0-7803-5261-0
160.
Knoche , Hendrik ; de Meer , Hermann ; Kirsh , David
Utility Curves: Mean Opinion Scores Considered Biased
Proc. of the 7th IEEE/IFIP Int'l Workshop on Quality of Service (IWQoS 1999), , Seite 12--14
1999
DOI: 10.1109/IWQOS.1999.766473
ISBN: 0-7803-5671-3
159.
Posegga , Joachim ; Vogt , Harald
Byte Code Verification for Java Smart Cards Based on Model Checking
5th European Symposium on Research in Computer Security (ESORICS) aus Lecture Notes in Computer Science ,
Herausgeber: Springer Verlag , Louvain-la-Neuve, Belgium
1998
http://web.sec.uni-passau.de/papers/ESORICS98.pdf
Diese Seite teilen

Beim Anzeigen des Videos wird Ihre IP-Adresse an einen externen Server (Vimeo.com) gesendet.

Video anzeigen
Diese Webseite verwendet Cookies, um Ihnen einen nutzer­freundlichen Service zu bieten sowie Nutzer­verhalten in pseudonymer Form zu analy­sieren. Weitere Informationen sowie die Möglichkeit zum Widerruf finden Sie in unserer Daten­schutz­er­klä­rung.
Alle akzeptieren
Speichern