2095-2228

Frontiers of Computer Science （FCS） - April 2013, issue 2 论文列表

点击这里查看 Frontiers of Computer Science 的JCR分区、影响因子等信息
卷期号： April 2013, issue 2
发布时间：
卷期年份： 2013
卷期官网： https://link.springer.com/journal/11704/volumes-and-issues/7-2
本期论文列表
Big data challenge: a data management perspective

Computing infrastructure for big data processing

Towards modeling popularity of microblogs

Co-occurrence prediction in a large location-based social network

Probability tree based passenger flow prediction and its application to the Beijing subway system

A semi-supervised hierarchical approach: two-dimensional clustering of microarray gene expression data

A novel requirement analysis approach for periodic control systems

Confinement framework for encapsulating objects

Supporting feature model refinement with updatable view

The autocorrelation distribution of balanced Boolean function

Design and formal verification of a CEM protocol with transparent TTP

KMcube: the compound of Kautz digraph and Möbius cube

A benefit-aware on-demand provisioning approach for multi-tier applications in cloud computing

A grid-based clustering algorithm for wild bird distribution

Performance comparisons between cellular-only and cellular/WLAN integrated systems based on analytical models

Multiple target localization in wireless visual sensor networks

Architecture for mobile group communication in campus environment

Part-based methods for handwritten digit recognition

Online belief propagation algorithm for probabilistic latent semantic analysis

New forward-secure signature schemes with untrusted update

A novel pairing-free certificateless authenticated key agreement protocol with provable security

Assessing the quality of metamodels

Modelling priority queuing systems with varying service capacity

A matrix grammar approach for automatic distributed network resource management

A decomposition based algorithm for maximal contractions

Integrity constraints in OWL ontologies based on grounded circumscription

Generating test data for both path coverage and fault detection using genetic algorithms

Image categorization using a semantic hierarchy model with sparse set of salient regions

Hybrid Bayesian estimation tree learning with discrete and fuzzy labels

Classifying and clustering in negative databases

Context-sensitive Web service discovery over the bipartite graph model

An automatic subdigraph renovation plan for failure recovery of composite semantic Web services

A novel architecture for ahead branch prediction

On applying stochastic network calculus

Towards estimating computer users’ mood from interaction behaviour with keyboard and mouse

Threshold public key encryption scheme resilient against continual leakage without random oracles

Consolidated cluster systems for data centers in the cloud age: a survey and analysis

Evaluation of RDF queries via equivalence

Design and verification of a lightweight reliable virtual machine monitor for a many-core architecture

VGQ-Vor: extending virtual grid quadtree with Voronoi diagram for mobile k nearest neighbor queries over mobile objects

Semantic separator learning and its applications in unsupervised Chinese text parsing

A novel unsupervised approach for multilevel image clustering from unordered image collection

A general framework for computing maximal contractions

Hybrid MARTE statecharts

A graph-based generic type system for object-oriented programs

Noisy component extraction with reference

Geometric attack resistant image watermarking based on MSER

FPGA based unified architecture for public key and private key cryptosystems

Preserving location privacy without exact locations in mobile services

Quantum software framework: a tentative study

Reversible spiking neural P systems

Co-metric: a metric learning algorithm for data with multiple views

A survey on temporal logics for specifying and verifying real-time systems

Task assignment for minimizing application completion time using honeybee mating optimization

CADSE: communication aware design space exploration for efficient run-time MPSoC management

An online service-oriented performance profiling tool for cloud computing systems

Topology-aware virtual network embedding based on closeness centrality

Foreword to the special section on synchronous programming

Formal verification of synchronous data-flow program transformations toward certified compilers

Multi-threaded code generation from Signal program to OpenMP

Exploring system architectures in AADL via Polychrony and SynDEx

Scenario-based verification in presence of variability using a synchronous approach

A comparative study of two formal semantics of the SIGNAL language

An evaluation framework for software crowdsourcing

Algorithms for checking channel passing in web service choreography

An ACO-RFD hybrid method to solve NP-complete problems

Dimensionality reduction with adaptive graph

Reinforcement learning models for scheduling in wireless networks

Local feature based retrieval approach for iris biometrics

A comprehensive review of significant researches on content based indexing and retrieval of visual information