the proceedings contain 43 papers. the topics discussed include: consensus under constraints: modeling the great English vowel shift;real-world behavior analysis through a social media lens;crowdsourced cyber defense:...
ISBN:
(纸本)9783642290466
the proceedings contain 43 papers. the topics discussed include: consensus under constraints: modeling the great English vowel shift;real-world behavior analysis through a social media lens;crowdsourced cyber defense: lessons from a large-scale, game-based approach to threat identification on a live network;cultural consensus theory: aggregating signed graphs under a balance constraint;opinion dynamics in gendered social networks: an examination of female engagement teams in Afghanistan;a comparative study of smoking cessation intervention programs on social media;trends prediction using social diffusion models;towards democratic group detection in complex networks;love all, trust a few: link prediction for trust and psycho-social factors in MMOs;effect of in/out-degree correlation on influence degree of two contrasting information diffusion models;and beyond validation: alternative uses and associated assessments of goodness for computational social models.
this is a special issue of papers revised from the 5th IEEE internationalconference on Software Engineering and Formal Methods (SEFM), held in London, England, in September 2007. the proceedings were originally publi...
详细信息
this is a special issue of papers revised from the 5th IEEE internationalconference on Software Engineering and Formal Methods (SEFM), held in London, England, in September 2007. the proceedings were originally published by IEEE Computer Society Press, edited by Mike Hinchey and Tiziana Margaria.
the proceedings contain 203 papers. the topics discussed include: approximating the minimum distribution of two normally distributed variables each withthe same mean and variance;the KPI-based interface design of hul...
ISBN:
(纸本)9780769546902
the proceedings contain 203 papers. the topics discussed include: approximating the minimum distribution of two normally distributed variables each withthe same mean and variance;the KPI-based interface design of hull block fabrication process optimization system;the optimal portfolio model based on mean-CvaR with linear weighted sum method;GPU accelerated wavelet transform profilometry;the credit evaluation system for marketers of online group buying;a new class of cooperative fuzzy games on choquet integral;ordering strategy for retail companies under the option contract of supply chain;volatility of stock yield based on arch model;scheduling parallel machines with a single server: a dedicated case;connected distribution center location problem under traffic network in emergency management;the chaotic particle swarm optimization based on sub-energy tunneling;multi-crane scheduling in batch annealing process;and application of a novel discrete differential evolution algorithm to SVRP.
the proceedings contain 9 papers. the topics discussed include: TransElas: elastic transaction monitoring for web2.0 applications;recoverable encryption through noised secret over a large cloud;a bigtable/MapReduce-ba...
ISBN:
(纸本)9783642323430
the proceedings contain 9 papers. the topics discussed include: TransElas: elastic transaction monitoring for web2.0 applications;recoverable encryption through noised secret over a large cloud;a bigtable/MapReduce-based cloud infrastructure for effectively and efficiently managing large-scale sensor networks;MapReduce applications in the cloud: a cost evaluation of computation and storage;scalability issues in designing and implementing semantic provenance management systems;performance characteristics of virtualized platforms from applications perspective;open execution engines of stream analysis operations;improving content delivery by exploiting the utility of CDN servers;and using MINING@HOME for distributed ensemble learning.
this paper presents an approach for paralleling K-medoid clustering algorithm. the K-medoid algorithm will be divided into tasks, which will be mapped into multiprocessor system. the control structure for the way of e...
详细信息
this paper presents an approach for paralleling K-medoid clustering algorithm. the K-medoid algorithm will be divided into tasks, which will be mapped into multiprocessor system. the control structure for the way of expressing the tasks in parallel form and the communication model that satisfied the mechanism for interaction between these tasks is presented. Data parallel model is built by decomposing the tasks among the processors. the implementation and testing of the parallel model have conducted using SESE academic simulator under Fedora 11 version at Linux OS environment.
the proceedings contain 22 papers. the topics discussed include: modularity and part-whole compositionality for computingthe state semantics of state charts;design of networks-on-chip for real-time multi-processor sy...
ISBN:
(纸本)9780769547091
the proceedings contain 22 papers. the topics discussed include: modularity and part-whole compositionality for computingthe state semantics of state charts;design of networks-on-chip for real-time multi-processor systems-on-chip;GSPNS revisited: simple semantics and new analysis algorithms;all linear-time congruences for finite LTSS and familiar operators;algebra of parameterized graphs;introducing fairness into compositional verification via unidirectional counters;a trace-based semantics for responsiveness;verifying performance of supervised plants;large-scale on-chip dynamic programming network inferences using moderated inter-core communication;reachability analysis of P-time Petri nets with parametric markings;and translating structural process properties to Petri net markings.
the proceedings contain 87 papers. the topics discussed include: context map for navigating the physical world;robust and tuneable family of gossiping algorithms;efficiency-aware Jobs allocation for e-Science environm...
ISBN:
(纸本)9780769546339
the proceedings contain 87 papers. the topics discussed include: context map for navigating the physical world;robust and tuneable family of gossiping algorithms;efficiency-aware Jobs allocation for e-Science environments;performance evaluations of a BSP algorithm for state space construction of security protocols;a dynamic deadlock detection/resolution algorithm with linear message complexity;a dynamic distributed algorithm for read write locks;locality-aware dynamic mapping for multithreaded applications;interaction list compression in large parallel particle simulations on multicore systems;a federated data zone for the arts and humanities;bit rate reduction video transcoding with distributed computing;LAMBDA-the LSDF execution framework for data intensive applications;and dynamic serialization: improving energy consumption in eager-eager.
the proceedings contain 34 papers. the topics discussed include: social geoscape: visualizing an image of the city for mobile UI using user generated geo-tagged objects;on the spatio-temporal information content and a...
ISBN:
(纸本)9783642309724
the proceedings contain 34 papers. the topics discussed include: social geoscape: visualizing an image of the city for mobile UI using user generated geo-tagged objects;on the spatio-temporal information content and arithmetic coding of discrete trajectories;using SIFT and WiFi signals to provide location-based services for smartphones;what's around me? spatialized audio augmented reality for blind users with a smartphone;real-time detection of anomalous taxi trajectories from GPS traces;a mean-variance based index for dynamic context data lookup;HiCHO: attributes based classification of ubiquitous devices;on the effects of input unreliability on classification algorithms;towards a new classification of location privacy methods in pervasive computing;instance-informed information systems: a pre-requisite for energy-efficient and green information systems;and analysis of data from a taxi cab participatory sensor network.
the proceedings contain 12 papers. the topics discussed include: a linked sensor data cube for a 100 year homogenised daily temperature dataset;a logic-based CoAP extension for resource discovery in semantic sensor ne...
the proceedings contain 12 papers. the topics discussed include: a linked sensor data cube for a 100 year homogenised daily temperature dataset;a logic-based CoAP extension for resource discovery in semantic sensor networks;deriving semantic sensor metadata from raw measurements;extension of the semantic sensor network ontology for wireless sensor networks: the stimulus-WSNnode-communication pattern;functional composition of sensor web APIs;SPARQL-based applications for RDF-encoded sensor data;a framework for acquiring semantic sensor descriptions;an ontology design pattern for spatial data quality characterization in the semantic sensor web;from streaming data to linked data - a case study with bike sharing systems;semantic processing of sensor event stream by using external knowledge bases;semantic annotations for sensor open data;and dynamic sensor registration and semantic processing for ad-hoc mobile environments (SemMOB).
the design of class models for information systems, databases or programming is a delicate process in which experts of the domain and designers have to identify and agree on the domain concepts. Formal Concept Analysi...
详细信息
暂无评论