Informatik (15.755 Artikel)

Essays in Honor of Dieter Rombach

Technische Unterstützung eines grundrechtskonformen Angebots von Social Networks

This book is concerned with relativistic quantum field theory, especially QED, its most successful example. It is set in the no-man's land between the math ematically rigorous but numerically barre...

This book is concerned with relativistic quantum field theory, especially QED, its most successful example. It is set in the no-man's land between the math ematically rigorous but numerically barre...

nd Welcome to the proceedings of PERVASIVE 2004, the 2 International C- ference on Pervasive Computing and the premier forum for the presentation and appraisal of the most recent and most advanced ...

This volume contains the proceedings of Pervasive 2002, the ?rst in a series of international conferences on Pervasive Computing. The conference took place at ETH Zurich from August 26to 28, 2002. ...

The Mobile World

This Springer Brief provides a new approach to prevent user spoofing by using the physical properties associated with wireless transmissions to detect the presence of user spoofing. The most common...

Although the dynamic properties of such systems may be very complex, they may sometimes be connected to the static structure of a Petri net. Many properties are decidable, but their complexity may ...

Although the dynamic properties of such systems may be very complex, they may sometimes be connected to the static structure of a Petri net. Many properties are decidable, but their complexity may ...

Petri Net Synthesis

Petri Net Synthesis

Net theory is a theory of systems organization which had its origins, about 20 years ago, in the dissertation of C. A. Petri [1]. Since this seminal paper, nets have been applied in various areas, ...

Invited Papers.- Invariant Based Programming.- On the Integration of UML and Petri Nets in Software Development.- Component Tools: Integrating Petri Nets with Other Formal Methods.- Using Colored P...

Invited Papers.- Petri Nets, Discrete Physics, and Distributed Quantum Computation.- Autonomous Distributed System and Its Realization by Multi Agent Nets.- Petri Nets Without Tokens.- Toward Speci...