• On Cost Efficient Dataflow Computing Program Deployment in SDN Managed Distributed Computing Environment

  • A Topology-Aware Reliable Broadcast Scheme for Multidimensional VANET Scenarios

  • Android App Classification and Permission Usage Risk Assessment

  • Adaptive Carving Method for Live FLV Streaming

  • Formal Verification of Authorization Policies for Enterprise Social Networks Using