Buch, Englisch, Band 2767, 429 Seiten, Paperback, Format (B × H): 155 mm x 235 mm, Gewicht: 1380 g
23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29 -- October 2, 2003
Buch, Englisch, Band 2767, 429 Seiten, Paperback, Format (B × H): 155 mm x 235 mm, Gewicht: 1380 g
Reihe: Lecture Notes in Computer Science
ISBN: 978-3-540-20175-5
Verlag: Springer Berlin Heidelberg
Zielgruppe
Research
Autoren/Hrsg.
Fachgebiete
- Mathematik | Informatik EDV | Informatik Technische Informatik Netzwerk-Hardware
- Mathematik | Informatik EDV | Informatik Computerkommunikation & -vernetzung Internet, E-Mail, VoIP
- Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Software Engineering Objektorientierte Softwareentwicklung
- Sozialwissenschaften Medien- und Kommunikationswissenschaften Kommunikationswissenschaften Digitale Medien, Internet, Telekommunikation
Weitere Infos & Material
UNIX STREAMS Generation from a Formal Specification.- Specifying and Realising Interactive Voice Services.- Vertical Reuse in the Development of Distributed Systems with FDTs.- Service-Oriented Systems Engineering: Modeling Services and Layered Architectures.- Validation of the Sessionless Mode of the HTTPR Protocol.- Generation of All Counter-Examples for Push-Down Systems.- Modeling and Model Checking Mobile Phone Payment Systems.- Behavioural Contracts for a Sound Assembly of Components.- Automatic Verification of Annotated Code.- Combating Infinite State Using Ergo.- Numerical Coverage Estimation for the Symbolic Simulation of Real-Time Systems.- Discrete Timed Automata and MONA: Description, Specification and Verification of a Multimedia Stream.- Can Decision Diagrams Overcome State Space Explosion in Real-Time Verification?.- How Stop and Wait Protocols Can Fail over the Internet.- Introducing Commutative and Associative Operators in Cryptographic Protocol Analysis.- A Lightweight Formal Analysis of a Multicast Key Management Scheme.- Formal Security Policy Verification of Distributed Component-Structured Software.- Towards Testing SDL Specifications: Models and Fault Coverage for Concurrent Timers.- Concerning the Ordering of Adaptive Test Sequences.- Correct Passive Testing Algorithms and Complete Fault Coverage.- QoS Functional Testing for Multi-media Systems.- Towards Testing Stochastic Timed Systems.- Formal Design of Interactive Multimedia Documents.- Progressive Solutions to a Parallel Automata Equation.- Type Abstraction in Formal Protocol Specifications with Container Types.- Decomposing Service Definition in Predicate/Transition-Nets for Designing Distributed Systems.- Towards an Efficient Performance Evaluation of Communication Systems Described by Message Sequence Charts.