netis system  (462 Angebote unter 17 649 445 Artikeln)

Invited Talks.- Planning with Stochastic Petri-Nets and Neural Nets.- Data Mining Using Fractals and Power Laws.- Full Papers.- Voice Activity Detection Using Generalized Gamma Distribution.- A Fra...

Loosely-coupled processes (preliminary version).- Rendez-vous with metric semantics.- Embeddings among concurrent programming languages.- Invariants and paradigms of concurrency theory.- Acceptance...

Modeling and Control of Autonomous Helicopters.- Efficient Quantization in the Average Consensus Problem.- Human-Robot Interaction Control Using Force and Vision.- A Dissipation Inequality for the ...

Volume Dedicated to Imre J. Rudas' Seventy-Fifth Birthday

This textbook introduces the basis for modelling and analysing discrete dynamic systems, such as computer programmes, soft- and hardware systems, and business processes. The underlying concepts are...

Distributed Objects and Applications (DOA) 2005 International Conference (continued).- Evaluation of Three Approaches for CORBA Firewall/NAT Traversal.- On the Design of Access Control to Prevent S...

A Walk through Content Delivery Networks.- Computer Virus Propagation Models.- Performance Evaluation of Mail Systems.- CPN and QoS Driven Smart Routing in Wired and Wireless Networks.- Modeling an...

Making systems easier to use implies increasingly complex management of communication between users and applications. An increasing part of the application program is devoted to the user interface....

Invited Talks.- Digital Fountains and Their Application to Informed Content Delivery over Adaptive Overlay Networks.- Securing the Net: Challenges, Failures and Directions.- Regular Papers.- Coteri...

Invited Talks.- A Logical Account of NGSCB.- Composing Event Constraints in State-Based Specification.- Formal Description Techniques and Software Engineering: Some Reflections after 2 Decades of R...

Literature has shunned away from the relational (linkages between various elements/people of the program) and symbolic (responses/interpretations based on significant symbols) dimensions of the imp...

/ Table of Contents.- Eröffnungssitzung / Opening Session.- Software Fault Tolerance in Safety-Critical Applications.- Vertrauenswürdige Systeme / Dependable Systems.- Biased Programming Faults -- ...

This book constitutes the proceedings of  the 14th International Conference on Quantitative Evaluation Systems, QEST 2017, held in Berlin, Germany, in September 2017.The 20 full papers and 4 tool p...

This book constitutes the proceedings of the 12th International Conference on Quantitative Evaluation of Systems, QEST 2015, held in Madrid, Spain, in September 2015. The 19 papers presented were c...

Workshop 1: International Workshop on Applications and Economics of Peer-to-Peer Systems (AEPP 2005).- Aurelia: Building Locality-Preserving Overlay Network over Heterogeneous P2P Environments.- On...