the proceedings contain 108 papers. the topics discussed include: design, implementation and evaluation of a structured P2P algorithm for vehicular communication systems;I want to go home: empowering the lost mobile d...
ISBN:
(纸本)9781424477425
the proceedings contain 108 papers. the topics discussed include: design, implementation and evaluation of a structured P2P algorithm for vehicular communication systems;I want to go home: empowering the lost mobile device;an efficient relay assignment scheme for multiuser cognitive radio networks with discrete power control;relay selection approaches for wireless cooperative networks;network assisted auctioning for cognitive radios;service discovery for mobile multi-domain multilanguage environments;efficient RFID-based mobile object localization;using web technologies in assessment of context-aware pervasive/ubiquitous systems: a tourist guide service;SEAODV: a security enhanced AODV routing protocol for wireless mesh networks;and effects of mobility on stability in vehicular ad hoc networks.
the proceedings contain 92 papers. the topics discussed include: is your marriage reliable? divorce analysis with machine learning algorithms;multi-tenant machine learning platform based on kubernetes;region2vec: an a...
ISBN:
(纸本)9781450377089
the proceedings contain 92 papers. the topics discussed include: is your marriage reliable? divorce analysis with machine learning algorithms;multi-tenant machine learning platform based on kubernetes;region2vec: an approach for urban land use detection by fusing multiple features;an improved text classification model based on memory convolution neural network;multi-hop memory network with graph neural networks encoding for proactive dialogue;traffic condition prediction of urban roads based on neural network;attention-based graph convolution collaborative filtering;adaptive spatial clustering for multi-dimensional data and its cloud model representation;research on prediction model of college students' growth based on mobile location data mining - take Hunan Mass Media College as an example;and a distributed anomaly filtering algorithm for heterogeneous data based on city computing.
the proceedings contain 53 papers. the topics discussed include: from a calculus to an execution environment for stream processing;short paper: approximate membership query over time-decaying windows for event stream ...
ISBN:
(纸本)9781450313155
the proceedings contain 53 papers. the topics discussed include: from a calculus to an execution environment for stream processing;short paper: approximate membership query over time-decaying windows for event stream processing;experience report: multilevel event-based monitoring framework for the petals enterprise service bus;short paper: a goal driven dynamic event subscription approach;towards a discipline of geospatial distributed event based systems;a basic model for proactive event driven computing;experience report: integrating CEP and BPM - how CEP realizes functional requirements of BPM applications;deriving a unified fault taxonomy for distributed event-based systems;ACTrESS - automatic context transformation in event-based software systems;partition and compose: parallel complex event processing;moving range queries in distributed complex event processing;and distributed spectral cluster management: a method for building dynamic publish/subscribe systems.
the proceedings contain 4 papers. the topics discussed include: wireless sensor networks in the wild: three practical issues after a middleware deployment;language and middleware support for dynamism in wireless senso...
ISBN:
(纸本)9781450310697
the proceedings contain 4 papers. the topics discussed include: wireless sensor networks in the wild: three practical issues after a middleware deployment;language and middleware support for dynamism in wireless sensor and actuator network applications;querying context maps using relative timing predicates in pervasive environments;and distributed configuration and processing for sensor networks.
the proceedings contain 42 papers. the topics discussed include: European standards and perspectives for e-voting in Bulgaria;a formula driven incremental construction of web service compositions;evaluating a framewor...
ISBN:
(纸本)9789898111999
the proceedings contain 42 papers. the topics discussed include: European standards and perspectives for e-voting in Bulgaria;a formula driven incremental construction of web service compositions;evaluating a framework for the development and deployment of evolving applications as a software maintenance tool;modeling the evolution of software engineering trends - a bottom up approach;resolving traceability issues in product derivation for software product lines;detecting regulatory vulnerability in functional requirements specifications;model transformation using adaptive systems;a self-adaptive architecture for autonomic systems developed with ASSL;aggregated accounting of memory usage in java;model driven testing with time augmented Markov chain usage models - computations and test case generation algorithms for time augmented Markov chain usage models;and refactoring of C/C++ preprocessor constructs at the model level.
the proceedings contain 111 papers. the topics discussed include: blockchain-based framework for construction regulations monitoring;reverse blockchain technology and its application to improve the quality of control ...
ISBN:
(纸本)9798350351538
the proceedings contain 111 papers. the topics discussed include: blockchain-based framework for construction regulations monitoring;reverse blockchain technology and its application to improve the quality of control systems in conditions of network instability;enhancing node reliability in opportunistic networks through blockchain integration;human-centered design to identify implementation and user experience challenges of a blockchain-based solution for the exchange of health data in precision medicine;Gophy: novel proof-of-useful-work blockchain architecture for high energy physics;protecting human investors with blockchain-based circuit breakers;and comparative e-voting security evaluation: multi-modal authentication approaches.
the proceedings contain 18 papers. the topics discussed include: robust recognition of reading activity in transit using wearable electrooculography;cooperative techniques supporting sensor-based people-centric infere...
详细信息
ISBN:
(纸本)3540795758
the proceedings contain 18 papers. the topics discussed include: robust recognition of reading activity in transit using wearable electrooculography;cooperative techniques supporting sensor-based people-centric inferencing;an integrated platform for the management of mobile location-aware information systems;location conflict resolution with an ontology;evaluation and analysis of a common model for ubiquitous systems interoperability;a context-aware system that changes sensor combinations considering energy consumption;providing an integrated experience of networked media, devices, and services through end-user composition;gaming tourism: lessons from evaluating REXplorer, a pervasive game for tourists;opportunities for pervasive computing in chronic cancer care;and privacy protection for RFID with hidden subset identifiers.
the 6thinternational Asia conference on Industrial Engineering and Management Innovation is sponsored by the Chinese Industrial Engineering Institution and organized by Tianjin University. the conference aims to shar...
详细信息
ISBN:
(数字)9789462391482
ISBN:
(纸本)9789462391475
the 6thinternational Asia conference on Industrial Engineering and Management Innovation is sponsored by the Chinese Industrial Engineering Institution and organized by Tianjin University. the conference aims to share and disseminate information on the most recent and relevant researches, theories and practices in industrial and system engineering to promote their development and application in university and enterprises.
the 6thinternational Asia conference on Industrial Engineering and Management Innovation is sponsored by the Chinese Industrial Engineering Institution and organized by Tianjin University. the conference aims to shar...
详细信息
ISBN:
(数字)9789462391451
ISBN:
(纸本)9789462391444
the 6thinternational Asia conference on Industrial Engineering and Management Innovation is sponsored by the Chinese Industrial Engineering Institution and organized by Tianjin University. the conference aims to share and disseminate information on the most recent and relevant researches, theories and practices in industrial and system engineering to promote their development and application in university and enterprises.
the proceedings contain 30 papers from the Verification, Model Checking, and Abstract Interpretation - 6thinternationalconference, VMCAI 2005. the topics discussed include: proving program invariance and termination...
详细信息
the proceedings contain 30 papers from the Verification, Model Checking, and Abstract Interpretation - 6thinternationalconference, VMCAI 2005. the topics discussed include: proving program invariance and termination by parametric abstraction, langrangian relaxation and semidefinite programming;scalable analysis of linear systems using mathematical programming;the arithmetic-geometric progression abstract domain;an overview of semantics for the validation of numerical programs;the veryfying complier, a grand challange for computing research;static analysis by abstract interpretation;and verifying safety of a token coherence implementation by parametric compositional refinement.
暂无评论