Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Sortiert nach
    Datensatz exportieren als...
  • BibTeX
Scaling step-wise refinement
IEEE transactions on software engineering, 2004-06, Vol.30 (6), p.355-371
2004
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
A Framework for Rule-Based Dynamic Adaptation
Trustworthly Global Computing, p.284-300
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Software-Intensive Systems and New Computing Paradigms: Challenges and Visions
1, 2008
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
The Impact of Altruism on the Efficiency of Atomic Congestion Games
Trustworthly Global Computing, p.172-188
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Scaling step-wise refinement
25th International Conference on Software Engineering, 2003. Proceedings, 2003, p.187-197
2003
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Trustworthy Global Computing: 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers
2010 edition., 2010
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Cyber-Physical Systems and Events
Software-Intensive Systems and New Computing Paradigms, p.101-115
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Connected information management
2010
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Software-Intensive Systems and New Computing Paradigms: Challenges and Visions
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
CarPal: Interconnecting Overlay Networks for a Community-Driven Shared Mobility
Trustworthly Global Computing, p.301-317
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Engineering of Software-Intensive Systems: State of the Art and Research Challenges
Software-Intensive Systems and New Computing Paradigms, p.1-44
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Trust in Crowds: Probabilistic Behaviour in Anonymity Protocols
Trustworthly Global Computing, p.88-102
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Processes
Trustworthly Global Computing, p.35-56
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
A Tool for Checking Probabilistic Properties of COWS Services
Trustworthly Global Computing, p.364-378
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Certificate Translation for the Verification of Concurrent Programs
Trustworthly Global Computing, p.237-252
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Probabilistic Aspects: Checking Security in an Imperfect World
Trustworthly Global Computing, p.348-363
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Property-Preserving Refinement of Concurrent Systems
Trustworthly Global Computing, p.222-236
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Toward a Game-Theoretic Model of Grid Systems
Trustworthly Global Computing, p.57-72
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
A Novel Resource-Driven Job Allocation Scheme for Desktop Grid Environments
Trustworthly Global Computing, p.268-283
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Perspectives in Certificate Translation
Trustworthly Global Computing, p.23-34
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Refactoring Long Running Transactions: A Case Study
Trustworthly Global Computing, p.318-334
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Software Engineering for Ensembles
Software-Intensive Systems and New Computing Paradigms, p.45-63
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
A Model of Evolvable Components
Trustworthly Global Computing, p.153-171
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Certified Result Checking for Polyhedral Analysis of Bytecode Programs
Trustworthly Global Computing, p.253-267
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Design of Complex Cyber Physical Systems with Formalized Architectural Patterns
Software-Intensive Systems and New Computing Paradigms, p.92-100
Volltextzugriff (PDF)
1 – 25 von 63
Suche als RSS-Feed
Suchergebnisse filtern
Filter anzeigen