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
