Übersicht			Auf mobile öffnen

Lieferstatus:	Auf Bestellung (Lieferzeit unbekannt)
Veröffentlichung:	November 2014
Genre:	EDV / Informatik
	Algorithm Analysis and Problem Complexity / Algorithms / Algorithms & data structures / C / Computation by Abstract Devices / Computer architecture & logic design / Computer Communication Networks / Computer communication systems / Computer logic / Computer programming / Computer programming / software engineering / computer science / Computers / Logics and Meanings of Programs / Network hardware / Operating systems / Programming Techniques / Software Engineering / Software Engineering/Programming and Operating Systems / Theory of Computation mehr...
ISBN:	9783642423116
EAN-Code:	9783642423116
Verlag:	Springer EN
Einband:	Kartoniert
Sprache:	English
Serie:	#323 - IFIP Advances in Information and Communication Technology
Dimensionen:	H 235 mm / B 155 mm / D
Gewicht:	611 gr
Seiten:	388
Illustration:	XII, 388 p.
Zus. Info:	EUDR exemption - product or manufacturing materials placed on the market prior to 31.12.2025.
Bewertung:	Titel bewerten / Meinung schreiben

Inhalt:

Convexity, Duality and Effects.- A Calculus for Power-Aware Multicast Communications in Ad Hoc Networks.- The Coarsest Precongruences Respecting Safety and Liveness Properties.- Entropy and Attack Models in Information Flow.- Safe Equivalences for Security Properties.- On Probabilistic Alternating Simulations.- Probabilistic Mobility Models for Mobile and Wireless Networks.- On Packing Splittable Items with Cardinality Constraints.- Deterministic Computations in Time-Varying Graphs: Broadcasting under Unstructured Mobility.- Slicing Behavior Tree Models for Verification.- Optimization of the Anisotropic Gaussian Kernel for Text Segmentation and Parameter Extraction.- Online Dictionary Matching for Streams of XML Documents.- The Duality of Computation under Focus.- Polarized Resolution Modulo.- A Logic on Subobjects and Recognizability.- Terminating Tableaux for with Number Restrictions on Transitive Roles.- Proof System for Applied Pi Calculus.- Concurrent Pattern Calculus.- Initial Segment Complexities of Randomness Notions.- Topologies Refining the Cantor Topology on X ? .- On Symbolic Representations of Maximum Matchings and (Un)directed Graphs.- Traceable Sets.- Approximating the Non-contiguous Multiple Organization Packing Problem.- Improving the Competitive Ratios of the Seat Reservation Problem.- A Semiring-Based Trace Semantics for Processes with Applications to Information Leakage Analysis.- A Game-Theoretic Approach to Routing under Adversarial Conditions.- An Operational Model for Multiprocessors with Caches.