Son T. Vuong

According to our database1, Son T. Vuong
  • authored at least 76 papers between 1984 and 2013.
  • has a "Dijkstra number"2 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2013
Enabling low bit-rate and reliable video surveillance over practical wireless sensor network.
The Journal of Supercomputing, 2013

2012
A Novel Web-enabled Healthcare Solution on HealthVault System.
J. Medical Systems, 2012

Leveraging Service Discovery in MANETs with Mobile Directories.
Comput. J., 2012

2011
WiFi positioning overview.
IJCNDS, 2011

A DHT-based hierarchical overlay for Peer-to-Peer MMOGs over MANETs.
Proceedings of the 7th International Wireless Communications and Mobile Computing Conference, 2011

2010
Programmable agents for efficient topology formation of Bluetooth scatternets.
IJWMC, 2010

A Novel Web-enabled Healthcare Solution on HealthVault System.
Proceedings of the 5th Annual International Conference on Wireless Internet, 2010

2008
A Mobile-Directory Approach to Service Discovery in Wireless Ad Hoc Networks.
IEEE Trans. Mob. Comput., 2008

A self-adaptive placement protocol for mobile directories in MANETs.
Proceedings of the 11th International Symposium on Modeling Analysis and Simulation of Wireless and Mobile Systems, 2008

SOON: A Scalable Self-organized Overlay Network for Distributed Information Retrieval.
Proceedings of the Managing Large-Scale Service Deployment, 2008

On-Demand P2P Media Streaming Over the Internet.
Proceedings of the 14th International Conference on Distributed Multimedia Systems, 2008

A Recommendation System for Segmented Video-Streaming Content utilizing Categorized Events and Stimuli.
Proceedings of the 14th International Conference on Distributed Multimedia Systems, 2008

2007
A scheme for balancing heterogeneous request load in DHT-based P2P systems.
Proceedings of the 4th International ICST Conference on Heterogeneous Networking for Quality, 2007

An Ontological Framework for Large-Scale Grid Resource Discovery.
Proceedings of the 12th IEEE Symposium on Computers and Communications (ISCC 2007), 2007

OntSum: A Semantic Query Routing Scheme in P2P Networks Based on Concise Ontology Indexing.
Proceedings of the 21st International Conference on Advanced Information Networking and Applications (AINA 2007), 2007

2006
A Cost-Effective Peer-to-Peer Architecture for Large-Scale On-Demand Media Streaming.
Journal of Multimedia, 2006

Grid resource discovery based on semantic P2P communities.
Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006

A mobile code platform for distributed task control in wireless sensor networks.
Proceedings of the Fifth ACM International Workshop on Data Engineering for Wireless and Mobile Access, 2006

2005
Ontology-Based Clustering and Routing in Peer-to-Peer Networks.
Proceedings of the Sixth International Conference on Parallel and Distributed Computing, 2005

MOPAR: a mobile peer-to-peer overlay architecture for interest management of massively multiplayer online games.
Proceedings of the Network and Operating System Support for Digital Audio and Video, 2005

Supporting Low-Cost Video-on-Demand in Heterogeneous Peer-to-Peer Networks.
Proceedings of the Seventh IEEE International Symposium on Multimedia (ISM 2005), 2005

A Category Overlay Infrastructure for Peer-to-Peer Content Search.
Proceedings of the 19th International Parallel and Distributed Processing Symposium (IPDPS 2005), 2005

A Scalable Semantic Routing Architecture for Grid Resource Discovery.
Proceedings of the 11th International Conference on Parallel and Distributed Systems, 2005

Semantic overlay network for grid resource discovery.
Proceedings of the 6th IEEE/ACM International Conference on Grid Computing (GRID 2005), 2005

Grid Resource Discovery Using Semantic Communities.
Proceedings of the Grid and Cooperative Computing - GCC 2005, 4th International Conference, Beijing, China, November 30, 2005

A Semantics-Based Routing Scheme for Grid Resource Discovery.
Proceedings of the First International Conference on e-Science and Grid Technologies (e-Science 2005), 2005

2004
An efficient clustered architecture for P2P networks.
Journal of Interconnection Networks, 2004

AgentViz: A Visualization System for Mobile Agents.
Proceedings of the Mobility Aware Technologies and Applications, 2004

APHIDS: A Mobile Agent-Based Programmable Hybrid Intrusion Detection System.
Proceedings of the Mobility Aware Technologies and Applications, 2004

On Vulnerability Testing of VoIP Software - The MEGACO/H.248 System as an Example.
Proceedings of the ICETE 2004, 2004

BLAZE: A Mobile Agent Paradigm for VoIP Intrusion Detection Systems.
Proceedings of the ICETE 2004, 2004

FedGrid: An HLA Approach to Federating Grids.
Proceedings of the Computational Science, 2004

An Efficient Clustered Architecture for P2P Networks.
Proceedings of the 18th International Conference on Advanced Information Networking and Applications (AINA 2004), 2004

2003
Efa: An Efficient Content Routing Algorithm in Large Peer-to-Peer Overlay Networks.
Proceedings of the 3rd International Conference on Peer-to-Peer Computing (P2P 2003), 2003

Efficient Formation of Dynamic Bluetooth Scatternet via Mobile Agent Processing.
Proceedings of the Mobile Agents for Telecommunication Applications, 2003

ECSP: An Efficient Cluster Based P2P Architecture.
Proceedings of the International Conference on Internet Computing, 2003

2002
Evaluation of Migration Strategies for Mobile Agents in Network Routing.
Proceedings of the Mobile Agents for Telecommunication Applications, 2002

2001
Multipoint-to-Point Routing with QoS Guarantees Using Mobile Agents.
Proceedings of the Mobile Agents for Telecommunication Applications, 2001

2000
WebMC: A Web-Based Middleware for Mobile Computing.
Proceedings of the International Conference on Internet Computing, 2000

Dynamic-Distributed Differentiated Service for Multimedia Applications.
Proceedings of the 2000 International Conference on Dependable Systems and Networks (DSN 2000) (formerly FTCS-30 and DCCA-8), 2000

1999
Concurrency Model for Distributed Systems.
J. Parallel Distrib. Comput., 1999

The Challenge of QoS Verification.
Proceedings of the Testing of Communicating Systems: Method and Applications, 1999

Coverage analysis for embedded testing and an application.
Proceedings of the Formal Methods for Protocol Engineering and Distributed Systems, 1999

Model-Checking a Secure Gorup Communication Protocol: A Case Study.
Proceedings of the Formal Methods for Protocol Engineering and Distributed Systems, 1999

1998
Supporting universal personal computing on the Internet with Java and CORBA.
Concurrency - Practice and Experience, 1998

Evaluation of Test Coverage for Embedded System Testing.
Proceedings of the Testing of Communicating Systems, IFIP TC6 11th International Workshop on Testing Communicating Systems (IWTCS), August 31, 1998

1997
Generalized Metric Based Test Selection and Coverage Measure for Communication Protocols.
Proceedings of the Formal Description Techniques and Protocol Specification, 1997

1996
TESTVAL, a tool for protocol test validation and the validation of a LAPB test suite as an example.
Computer Communications, 1996

Specification of synchronization requirements for distributed multimedia systems.
Proceedings of the 1996 International Workshop on Multimedia Software Development, 1996

1995
Improving the UIOv-method for protocol conformance testing.
Computer Communications, 1995

Petri net models for describing multimedia synchronization requirements.
Proceedings of the 1995 International Conference on Network Protocols, 1995

1994
TESTGEN: An environment for protocol test suite generation and selection.
Computer Communications, 1994

On finite covering of infinite spaces for protocol test selection.
Proceedings of the Protocol Specification, 1994

1993
On Tools Supporting the Use of Formal Description Techniques in Protocol Development.
Computer Networks and ISDN Systems, 1993

A Framework for the Design for Testability of Communication Protocols.
Proceedings of the Protocol Test Systems, 1993

The UBC Protocol Testing Environment.
Proceedings of the Protocol Test Systems, 1993

A Metric Based Theory of Test Selection and Coverage.
Proceedings of the Protocol Specification, 1993

On the Design for Testability of Communication Software.
Proceedings of the Proceedings IEEE International Test Conference 1993, Designing, Testing, and Diagnostics, 1993

Concurrency Model and Its Application to Formal Protocol Specifications.
Proceedings of the Proceedings IEEE INFOCOM '93, The Conference on Computer Communications, Twelfth Annual Joint Conference of the IEEE Computer and Communications Societies, Networking: Foundation for the Future, San Francisco, CA, USA, March 28, 1993

TESTGEN+: An Integrated Environment for Protocol Test Suite Generation, Selection and Validation.
Proceedings of the Formal Description Techniques, VI, Proceedings of the IFIP TC6/WG6.1 Sixth International Conference on Formal Description Techniques, 1993

1992
Multi-party and interoperability testing using the Ferry Clip approach.
Computer Communications, 1992

An Overview of ASN.1.
Computer Networks and ISDN Systems, 1992

Introduction to Algebraic Specifications Based on the Language ACT ONE.
Computer Networks and ISDN Systems, 1992

Automated Test Case Selection Based on Test Coverage Metrics.
Proceedings of the Protocol Test Systems, V, 1992

1991
On Test Coverage Metrics for Communication Protocols.
Proceedings of the Protocol Test Systems, IV, 1991

Protocol Trace Analysis Based on Formal Specifications.
Proceedings of the Formal Description Techniques, 1991

1989
A low-cost and portable local area network for interconnecting PC's using electric power lines.
IEEE Journal on Selected Areas in Communications, 1989

On Test Sequence Generation for Protocols.
Proceedings of the Protocol Specification, 1989

A Software Environment for OSI Protocol Testing Systems.
Proceedings of the Protocol Specification, 1989

A Formal Specification, in LOTOS, of a Simplified Cellular Mobile Communication System.
Proceedings of the Formal Description Techniques, 1989

1988
Semiautomatic Implementation of Protocols Using an Estelle-C Compiler.
IEEE Trans. Software Eng., 1988

Validation of the Ferry-Clip Local Testing System using an Estelle-C Compiler.
Proceedings of the Formal Description Techniques, 1988

1986
Experience with Interprocess Communication in the Distributed Operating System, Team Shoshin.
ICC, 1986

1984
Formal specification and validation of ISO transport protocol components, using petri nets.
Computer Communication Review, 1984

CSP and CSP Nets: A Dual Model for Protocol Specification and Verification.
Proceedings of the Protocol Specification, 1984

UNISPEX - A Unified Model for Protocol Specification and Verification.
Proceedings of the Proceedings IEEE INFOCOM 84, San Francisco, CA, USA, April 9-12, 1984, 1984


  Loading...