UB Paderborn / Katalog / Suche / in CDI

Sortiert nach

Einfacher Volltextzugriff von (fast) überall

Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...

Emerging Technologies for Developing Countries: First International EAI Conference, AFRICATEK 2017, Marrakech, Morocco, March 27-28, 2017 Proceedings

1st ed. 2018., 2017

Volltextzugriff (PDF)

Timed Wp-method: testing real-time systems

IEEE transactions on software engineering, 2002-11, Vol.28 (11), p.1023-1038

2002

Volltextzugriff (PDF)

Ambient network composition

IEEE network, 2008-07, Vol.22 (4), p.6-12

2008

Volltextzugriff (PDF)

Media handling aspects of multimedia conferencing in broadband wireless ad hoc networks

IEEE network, 2006-03, Vol.20 (2), p.42-49

2006

Volltextzugriff (PDF)

Media handling for multimedia conferencing in multihop cellular networks

IEEE network, 2009-03, Vol.23 (2), p.35-42

2009

Volltextzugriff (PDF)

Measuring and analyzing agents’ uncertainty in argumentation-based negotiation dialogue games

Expert systems with applications, 2014-02, Vol.41 (2), p.306-320

2014

Volltextzugriff (PDF)

Test development for communication protocols: towards automation

Computer networks (1999), 1999-06, Vol.31 (17), p.1835-1872

1999

Volltextzugriff (PDF)

Merging partial system behaviours : composition of use-case automata

IET software, 2007-08, Vol.1 (4), p.143-160

2007

Volltextzugriff (PDF)

Sdl '99: The Next Millennium

1, 1999

Volltextzugriff (PDF)

Change impact analysis for requirement evolution using use case maps

Eighth International Workshop on Principles of Software Evolution (IWPSE'05), 2005, p.81-90

2005

Volltextzugriff (PDF)

Test cases selection from SDL specifications

Computer networks (Amsterdam, Netherlands : 1999), 2001-05, Vol.35 (6), p.693-708

2001

Volltextzugriff (PDF)

A test case generation approach for conformance testing of SDL systems

Computer communications, 2001-02, Vol.24 (3), p.319-333

2001

Volltextzugriff (PDF)

Comparing Bug Finding Tools with Reviews and Tests

Lecture notes in computer science, 2005, p.40-55

2005

Volltextzugriff (PDF)

Composition of Use Cases Using Synchronization and Model Checking

Formal Techniques for Networked and Distributed Systems - FORTE 2006, 2006, p.292-306

2006

Volltextzugriff (PDF)

Implicit integration of scenarios into a reduced timed automaton

Information and software technology, 2003-08, Vol.45 (11), p.715-725

2003

Volltextzugriff (PDF)

Control-level call differentiation in IMS-based 3G core networks

IEEE network, 2011-01, Vol.25 (1), p.20-28

2011

Volltextzugriff (PDF)

VAQoS: Architecture for End-to-End QoS Management of Value Added Web Services

International journal of intelligent information technologies, 2006-10, Vol.2 (4), p.37-56

2006

Volltextzugriff (PDF)

Service-Oriented Architecture for High-Dimensional Private Data Mashup

IEEE transactions on services computing, 2012, Vol.5 (3), p.373-386

2012

Volltextzugriff (PDF)

A QoS broker based architecture for efficient Web services selection

IEEE International Conference on Web Services (ICWS'05), 2005, p.113-120 vol.1

2005

Volltextzugriff (PDF)

Media handling for multiparty sessions in ad-hoc peer-to-peer networks: a novel distributed approach

10th IEEE Symposium on Computers and Communications (ISCC'05), 2005, p.131-136

2005

Volltextzugriff (PDF)

A service creation environment based on scenarios

Information and software technology, 1999-08, Vol.41 (11), p.697-713

1999

Volltextzugriff (PDF)

A Model-Based Approach for Robustness Testing

Lecture notes in computer science, 2005, p.333-348

2005

Volltextzugriff (PDF)

Technology aspects of electronic commerce applications

Information and software technology, 2002-04, Vol.44 (5), p.279-330

Dssouli, R

2002

Volltextzugriff (PDF)

Communications software design for testability: specification transformations and testability measures

Information and software technology, 1999, Vol.41 (11), p.729-743

1999

Volltextzugriff (PDF)

From U2TP Models to Executable Tests with TTCN-3 - An Approach to Model Driven Testing

Lecture notes in computer science, 2005, p.289-303

2005

Volltextzugriff (PDF)

1 – 25 von 150

Menü

Weitere Dienste

Einstellungen

Emerging Technologies for Developing Countries: First International EAI Conference, AFRICATEK 2017, Marrakech, Morocco, March 27-28, 2017 Proceedings

Timed Wp-method: testing real-time systems

Ambient network composition

Media handling aspects of multimedia conferencing in broadband wireless ad hoc networks

Media handling for multimedia conferencing in multihop cellular networks

Measuring and analyzing agents’ uncertainty in argumentation-based negotiation dialogue games

Test development for communication protocols: towards automation

Merging partial system behaviours : composition of use-case automata

Sdl '99: The Next Millennium

Change impact analysis for requirement evolution using use case maps

Test cases selection from SDL specifications

A test case generation approach for conformance testing of SDL systems

Comparing Bug Finding Tools with Reviews and Tests

Composition of Use Cases Using Synchronization and Model Checking

Implicit integration of scenarios into a reduced timed automaton

Control-level call differentiation in IMS-based 3G core networks

VAQoS: Architecture for End-to-End QoS Management of Value Added Web Services

Service-Oriented Architecture for High-Dimensional Private Data Mashup

A QoS broker based architecture for efficient Web services selection

Media handling for multiparty sessions in ad-hoc peer-to-peer networks: a novel distributed approach

A service creation environment based on scenarios

A Model-Based Approach for Robustness Testing

Technology aspects of electronic commerce applications

Communications software design for testability: specification transformations and testability measures

From U2TP Models to Executable Tests with TTCN-3 - An Approach to Model Driven Testing

Suchergebnisse filtern