the proceedings contain 19 papers. the topics discussed include: reusable, generic program analyses and transformations;toward foundations for type-reflective metaprogramming;transactional pointcuts: designation reifi...
ISBN:
(纸本)9781605588629
the proceedings contain 19 papers. the topics discussed include: reusable, generic program analyses and transformations;toward foundations for type-reflective metaprogramming;transactional pointcuts: designation reification and advice of interrelated join points;extending aspectJ for separating regions;a language and framework for invariant-driven transformations;JavaGI in the battlefield: practical experience with generalized interfaces;classifying java class transformations for pervasive virtualized access;advanced runtime adaptation for java;hotwave: creating adaptive tools with dynamic aspect-oriented programming in java;generating safe template languages;abstract parsing for two-staged languages with concatenation;synthesis of fast programs for maximum segment sum problems;a generative programming approach to developing pervasive computingsystems;and algorithms for user interfaces.
the proceedings contain 58 papers. the topics discussed include: collaboration in global software engineering based on process description integration;design concept development of a cooperative online support platfor...
ISBN:
(纸本)3642042643
the proceedings contain 58 papers. the topics discussed include: collaboration in global software engineering based on process description integration;design concept development of a cooperative online support platform for music creation;implementation of a web-based collaborative process planning system;cooperative analysis of production systems with simulation techniques;collaborative web-enabled geoanalytics applied to OECD regional data;a cooperative application to improve the educational software design using re-usable processes;a framework for link sharing in cooperative cross-media information spaces;architecture of the DICTE collaboration platform;a spatial faithful cooperative system based on mixed presence groupware model;dynamic resilient workflows for collaborative design;and optimization of product development process based on multi-agent simulation.
the proceedings contain 58 papers. the topics discussed include: a universal framework for partial coverage in wireless sensor networks;static worst-case energy and lifetime estimation of wireless sensor networks;real...
ISBN:
(纸本)9781424457373
the proceedings contain 58 papers. the topics discussed include: a universal framework for partial coverage in wireless sensor networks;static worst-case energy and lifetime estimation of wireless sensor networks;real time clustering of sensory data in wireless sensor networks;on performance-adaptive flow control for large data transfer in high speed networks;towards zero loss for TCP in wireless networks;improving reliability of energy-efficient parallel storage systems by disk swapping;performance evaluation of power aware routing algorithms in personal networks;virtual center: a characteristic of minimum power broadcast trees in wireless ad hoc networks;optimization of link bandwidth for parallel communication performance;achieving high performance web applications by service and database replications at edge servers;towards social-aware routing in dynamic communication networks;and efficient multicast for link-heterogeneous wireless mesh networks.
the proceedings contain 13 papers. the topics discussed include: a case study on asprox infection dynamics;how good are malware detectors at remediating infected systems?;shepherding loadable kernel modules through on...
ISBN:
(纸本)3642029175
the proceedings contain 13 papers. the topics discussed include: a case study on asprox infection dynamics;how good are malware detectors at remediating infected systems?;shepherding loadable kernel modules through on-demand emulation;yataglass: network-level code emulation for analyzing memory-scanning attacks;defending browsers against drive-by downloads: mitigating heap-spraying code injection attacks;polymorphing software by randomizing data structure layout;on the effectiveness of software diversity: a systematic study on real-world vulnerabilities;using contextual information for IDS alarm classification;browser fingerprinting from coarse traffic summaries: techniques and implications;a service dependency modeling framework for policy-based response enforcement;and selecting and improving system call models for anomaly detection.
the proceedings contain 16 papers. the topics discussed include: user profiling and re-identification: case of university-wide network analysis;supporting local aliases as usable presentation of secure pseudonyms;a pr...
ISBN:
(纸本)364203747X
the proceedings contain 16 papers. the topics discussed include: user profiling and re-identification: case of university-wide network analysis;supporting local aliases as usable presentation of secure pseudonyms;a privacy-preserving platform for user-centric quantitative benchmarking;an anonymous credit card system;a cluster-based framework for the security of medical sensor environments;formal specification and automatic analysis of business processes under authorization constraints: an action-based approach;a formalization of HIPAA for a medical messaging system;steering security through measurement;advanced features in bayesian reputation systems;an MDA-based environment for generating access control policies;an extended role-based access control model for delegating obligations;the OPL access control policy language;and operational semantics for DKAL: application and analysis.
the proceedings contain 112 papers. the topics discussed include: a study on the preprocessing of MLFMA parallel computation;a systemic strategy for tuning intra-node collective communication on multicore systems;form...
ISBN:
(纸本)9780769539324
the proceedings contain 112 papers. the topics discussed include: a study on the preprocessing of MLFMA parallel computation;a systemic strategy for tuning intra-node collective communication on multicore systems;formal approach for performance analysis oriented parallel system design;investigation of factors impacting thread-level parallelism from desktop, multimedia and HPC applications;a program behavior study of block cryptography algorithms on GPGPU;a resource-efficient system for measuring flow length distribution;a heuristic approach with branch cut to service substitution in service orchestration;high performance and parallel model for LU decomposition on FPGAs;a random-walk-based dynamic tree evolution algorithm with exponential speed of convergence to optimality on regular networks;performance evaluation of mobile service design paradigm in ubiquitous computing environments;and an improved approach to tag reduction on low power CMP with trade-off of energy and performance.
the proceedings contain 36 papers. the topics discussed include: hierarchical set decision diagrams and regular models;learning minimal separating DFA's for compositional verification;RBAC-PAT: a policy analysis t...
ISBN:
(纸本)3642007678
the proceedings contain 36 papers. the topics discussed include: hierarchical set decision diagrams and regular models;learning minimal separating DFA's for compositional verification;RBAC-PAT: a policy analysis tool for role based access control;ITPN-PerfBound: a performance bound tool for interval time Petri nets;Romeo: a parametric model-checker for Petri nets with stopwatches;Alpaga: a tool for solving parity games with imperfect information;compositional predicate abstraction from game semantics;compositional synthesis of reactive systems from live sequence chart specifications;computing weakest strategies for safety games of imperfect information;context-bounded analysis for concurrent programs with dynamic creation of threads;semantic reduction of thread interleavings in concurrent programs;and inferring synchronization under limited observability.
In this paper, we try to provide a simple analytical approach to describe distribution of intersection entering traffics on a grid road network. the approach is a continuous model with explicit structure and free of t...
详细信息
the proceedings contain 56 papers. the topics discussed include: self-induced oscillation of the macropore diameter in n-type silicon;chemical etching of Si by Ag nanocatalysts in HF-H2O2: application to multicrystall...
the proceedings contain 56 papers. the topics discussed include: self-induced oscillation of the macropore diameter in n-type silicon;chemical etching of Si by Ag nanocatalysts in HF-H2O2: application to multicrystalline Si solar cell texturisation;the effect of a biased conductive mask on porous silicon formation;infrared study of the oxidation of porous silicon: evidence of surface modes;electron structure of porous silicon obtained without the use of HF acid;electrodeposition behavior of noble metals in ordered macroporous silicon;pore growth on n-type InP investigated by in-situ FFT impedance spectroscopy;fast macropore growth in n-type silicon;hybrid metal/silicon nanocomposite systems and their catalytic activity;polymer nanopillars using self-ordered nanoporous alumina templates;transition metals specifically electrodeposited into porous silicon;ZnO/CdSe nanowires and nanotubes: formation, properties and applications;and protein-mesoporous silicon matrix obtained by S-layer technology.
the proceedings contain 27 papers. the topics discussed include: the two faces of active learning;mining heterogeneous information networks by exploring the power of links;learning and domain adaptation;learning unkno...
ISBN:
(纸本)3642044131
the proceedings contain 27 papers. the topics discussed include: the two faces of active learning;mining heterogeneous information networks by exploring the power of links;learning and domain adaptation;learning unknown graphs;completing networks using observed data;uncountable automatic classes and learning;iterative learning from texts and counterexamples using additional information;incremental learning with ordinal bounded example memory;learning from streams;smart PAC-learners;approximation algorithms for tensor clustering;agnostic clustering;canonical horn representations and query learning;learning finite automata using label queries;characterizing statistical query learning: simplified notions and proofs;an algebraic perspective on Boolean function learning;pure exploration in multi-armed bandits problems;and computable Bayesian compression for uniformly discretizable statistical models.
暂无评论