the proceedings contain 55 papers. the special focus in this conference is on computing and Combinatorics. the topics include: Approximation complexity of complex-weighted degree-two counting constraint satisfaction p...
ISBN:
(纸本)9783642226847
the proceedings contain 55 papers. the special focus in this conference is on computing and Combinatorics. the topics include: Approximation complexity of complex-weighted degree-two counting constraint satisfaction problems;Strong I/O lower bounds for binomial and FFT computation graphs;spin systems on graphs with complex edge functions and specified degree regularities;quantum algorithm for the boolean hidden shift problem;a kolmogorov complexity proof of the lovász local lemma for satisfiability;proper n-cell polycubes in n − 3 dimensions;largest area convex hull of axis-aligned squares based on imprecise data;improved algorithms for the point-set embeddability problem for plane 3-trees;optimal strategies for the one-round discrete voronoi game on a line;dominating set counting in graph classes;computingthe girth of a planar graph in linear time;diagonalization strikes back: some recent lower bounds in complexity theory;Unions of disjoint NP-complete sets;ReachFewL = ReachUL;(1 + Ε)-competitive algorithm for online OVSF code assignment with resource augmentation;scheduling jobs on heterogeneous platforms;self-assembling rulers for approximating generalized sierpinski carpets;approximately uniform online checkpointing;bandwidth of convex bipartite graphs and related graphs;algorithms for partition of some class of graphs under compaction;the density maximization problem in graphs;a generic approach to decomposition algorithms, with an application to digraph decomposition;matching and P2-Packing: Weighted versions;on totally unimodularity of edge-edge adjacency matrices;the topology aware file distribution problem;exploiting the robustness on power-law networks;competitive algorithms for online pricing;making abstraction-refinement efficient in model checking;property testing for cyclic groups and beyond.
the proceedings contain 26 papers. the topics discussed include: from access control to trust management, and back - a petition;familiarity breeds con-victims: why we need more effective trust signaling;the evolution ...
ISBN:
(纸本)9783642221996
the proceedings contain 26 papers. the topics discussed include: from access control to trust management, and back - a petition;familiarity breeds con-victims: why we need more effective trust signaling;the evolution of trust;trust and social intelligence;detecting and reacting to changes in reputation flows;validation and verification of agent models for trust: independent compared to relative trust;composing trust models towards interoperable trust management;identifying knots of trust in virtual communities;clustering recommenders in collaborative filtering using explicit trust information;from reputation models and systems to reputation ontologies;enhancing data privacy in the cloud;longitude: a privacy-preserving location sharing protocol for mobile applications;an empirical evaluation of the compliance of game-network providers with data-protection law;and physiological measurement of trust-related behavior in trust-neutral and trust-critical situations.
the proceedings contain 16 papers. the special focus in this conference is on Enterprise Software Technology, Software Engineering, Distributed systems, Data Management and Knowledge-Based systems. the topics include:...
ISBN:
(纸本)9783642295775
the proceedings contain 16 papers. the special focus in this conference is on Enterprise Software Technology, Software Engineering, Distributed systems, Data Management and Knowledge-Based systems. the topics include: Tapping dynamic niche markets using language-action and artificial intelligence;modelling the requirements of rich internet applications in WebRe;a survey on how well-known open source software projects are tested;systematic review on software product line testing;a programming language that combines the benefits of static and dynamic typing;main principles on the integration of SOC and MDD paradigms to business processes;a model-based simulation environment for structured textual use cases;automatic co-evolution of models using traceability;a constraint programming approach for property-based testing;hacker attack representation method;an architecture based deployment of component distributed systems;a heuristic algorithm for finding edge disjoint cycles in graphs;distortion-free authentication watermarking;a desktop search system based on latent interfile relationships;fine grained access control for relational databases by abstract interpretation and consequences of the notion of pedagogical context.
the proceedings contain 85 papers. the topics discussed include: ScaleLoc : a scalable real-time locating system for moving targets;research on advanced performance evaluation of video digital contents;high resolution...
ISBN:
(纸本)9783642241055
the proceedings contain 85 papers. the topics discussed include: ScaleLoc : a scalable real-time locating system for moving targets;research on advanced performance evaluation of video digital contents;high resolution image reconstructed by ARPS motion estimation and POCS;implementation of a real-time image object tracking system for PTZ cameras;statistical analyses of various error functions for pattern classifiers;FPGA implementation of image processing for real-time robot vision system;security requirements prioritization based on threat modeling and valuation graph;an efficient hardware countermeasure against differential power analysis attack;a study on smartphone APP authoring solution design for enhancing developer productivity;a study of disaster preparedness systems operations analysis and financial security measures of large banking network;and malware variant detection and classification using control flow graph.
the project MoSGrid (Molecular Simulation Grid) has been developing a web-based science gateway supporting the community with various services for quantum chemistry, molecular modeling, and docking. Users gain access ...
详细信息
the proceedings contain 96 papers. the topics discussed include: case studies on invariant generation using a saturation theorem prover;learning probabilistic description logics: a framework and algorithms;belief merg...
ISBN:
(纸本)9783642253232
the proceedings contain 96 papers. the topics discussed include: case studies on invariant generation using a saturation theorem prover;learning probabilistic description logics: a framework and algorithms;belief merging using normal forms;toward justifying actions with logically and socially acceptable reasons;a complex social system simulation using type-2 fuzzy logic and multiagent system;computing mobile agent routes with node-wise constraints in distributed communication systems;collaborative redundant agents: modeling the dependences in the diversity of the agents' errors;fuzzy case-based reasoning for managing strategic and tactical reasoning in StarCraft;intelligent control of nonlinear dynamic plants using a hierarchical modular approach and type-2 fuzzy logic;no-free-lunch result for interval and fuzzy computing: when bounds are unusually good, their computation is unusually slow;and evaluating probabilistic models learned from data.
the proceedings contain 24 papers. the topics discussed include: automatic base station deployment algorithm in next generation cellular networks;modeling the content popularity evolution in video-on-demand systems;mo...
ISBN:
(纸本)9783642209307
the proceedings contain 24 papers. the topics discussed include: automatic base station deployment algorithm in next generation cellular networks;modeling the content popularity evolution in video-on-demand systems;modeling self-organized application spreading;passive access capacity estimation through the analysis of packet bursts;self-repairing clusters for time-efficient and scalable actor-fault-tolerance in wireless sensor and actor networks;bit-error analysis in WiFi networks based on real measurements;data-rate and queuing method optimization for Internet-working medical applications;towards sustainable broadband communication in rural areas;remediating anomalous traffic behavior in future networked environments;and a min-max hop-count based self-discovering method of a bootstrap router for the bootstrap mechanism in multicast routing.
Wireless communications technologies have seen a great degree of advancements and sophistication in the past decade. Different research works have tried to solve various issues related to different wireless Ad hoc net...
详细信息
the proceedings contain 372 papers. the topics discussed include: reduced complexity decoding for bit-interleaved coded multiple beamforming with constellation precoding;coordinated multi-point decoding with dual-pola...
ISBN:
(纸本)9781424495399
the proceedings contain 372 papers. the topics discussed include: reduced complexity decoding for bit-interleaved coded multiple beamforming with constellation precoding;coordinated multi-point decoding with dual-polarized antennas;a hybrid data fusion based cooperative localization approach for cellular networks;a genetic algorithm for joint resource allocation in cooperative cognitive radio networks;adaptive modulation for cooperative communications with noisy feedback;improving fairness by cooperative communications and selection of critical users;investigations for the simulations of a quantum key distribution in WiFi;design of a time and location based one-time password authentication scheme;a novel software-based MD5 checksum lookup scheme for anti-virus systems;outage optimum routing for wireless networks;and localized delay-bounded and energy-efficient data aggregation in low-traffic request-driven wireless sensor and actor networks.
暂无评论