Enabling low bit-rate and reliable video surveillance over practical wireless sensor network | 17 | 0.75 | 2013 |
Random Forest Classification for Detecting Android Malware. | 16 | 0.82 | 2013 |
Leveraging Service Discovery in MANETs with Mobile Directories† | 1 | 0.35 | 2012 |
WiFi positioning overview | 1 | 0.36 | 2011 |
A DHT-based hierarchical overlay for Peer-to-Peer MMOGs over MANETs | 4 | 0.41 | 2011 |
Programmable agents for efficient topology formation of Bluetooth scatternets | 0 | 0.34 | 2010 |
On-Demand P2P Media Streaming Over the Internet | 0 | 0.34 | 2008 |
A Recommendation System for Segmented Video-Streaming Content utilizing Categorized Events and Stimuli | 0 | 0.34 | 2008 |
A Mobile-Directory Approach to Service Discovery in Wireless Ad Hoc Networks | 7 | 0.67 | 2008 |
A self-adaptive placement protocol for mobile directories in MANETs | 0 | 0.34 | 2008 |
APHIDS++: A Mobile Agent Based Intrusion Detection System | 0 | 0.34 | 2007 |
An Ontological Framework for Large-Scale Grid Resource Discovery | 1 | 0.37 | 2007 |
A Cost-Effective Peer-to-Peer Architecture for Large-Scale On-Demand Media Streaming | 3 | 0.39 | 2006 |
BlueMobile - a mobile IP based handoff system for Bluetooth, 802.11 and GPRS links | 2 | 0.56 | 2005 |
Supporting low-cost video-on-demand in heterogeneous peer-to-peer networks | 5 | 0.51 | 2005 |
MOPAR: a mobile peer-to-peer overlay architecture for interest management of massively multiplayer online games | 76 | 3.08 | 2005 |
A Category Overlay Infrastructure for Peer-to-Peer Content Search | 9 | 0.53 | 2005 |
AgentViz: A Visualization System for Mobile Agents | 0 | 0.34 | 2004 |
APHIDS: A Mobile Agent-Based Programmable Hybrid Intrusion Detection System | 18 | 1.03 | 2004 |
A Remote Controlled Wireless Enabled Environment | 1 | 0.63 | 2004 |
BLAZE: A Mobile Agent Paradigm for VoIP Intrusion Detection Systems | 2 | 0.36 | 2004 |
On Vulnerability Testing of VoIP Software - The MEGACO/H.248 System as an Example | 0 | 0.34 | 2004 |
ECSP: An Efficient Cluster Based P2P Architecture | 0 | 0.34 | 2003 |
Efa: An Efficient Content Routing Algorithm in Large Peer-to-Peer Overlay Networks | 8 | 0.75 | 2003 |
Efficient Formation of Dynamic Bluetooth Scatternet via Mobile Agent Processing | 1 | 0.37 | 2003 |
Evaluation of Migration Strategies for Mobile Agents in Network Routing | 2 | 0.38 | 2002 |
Multipoint-to-Point Routing with QoS Guarantees Using Mobile Agents | 1 | 0.39 | 2001 |
Dynamic-Distributed Differentiated Service for Multimedia Applications | 5 | 0.66 | 2000 |
WebMC: A Web-Based Middleware for Mobile Computing | 2 | 0.43 | 2000 |
Concurrency model for distributed systems | 0 | 0.34 | 1999 |
Model-Checking a Secure Gorup Communication Protocol: A Case Study | 3 | 0.41 | 1999 |
The Challenge of QoS Verification | 0 | 0.34 | 1999 |
Coverage analysis for embedded testing and an application | 0 | 0.34 | 1999 |
Design for testability of communication protocols that support coordination loss | 0 | 0.34 | 1999 |
Supporting Universal Personal Computing On The Internet With Java And Corba | 2 | 0.44 | 1998 |
Evaluation of Test Coverage for Embedded System Testing | 7 | 1.00 | 1998 |
Generalized Metric Based Test Selection and Coverage Measure for Communication Protocols | 3 | 0.46 | 1997 |
Testval, A Tool For Protocol Test Validation And The Validation Of A Lapb Test Suite As An Example | 0 | 0.34 | 1996 |
Petri net models for describing multimedia synchronization requirements | 5 | 1.19 | 1995 |
Improving The Uiov-Method For Protocol Conformance Testing | 1 | 0.36 | 1995 |
Protocol Specification, Testing and Verification XIV, Proceedings of the Fourteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification, Vancouver, BC, Canada, 1994 | 30 | 4.75 | 1995 |
On finite covering of infinite spaces for protocol test selection | 0 | 0.34 | 1994 |
On the design for testability of communication software | 3 | 0.42 | 1993 |
TESTGEN+: An Integrated Environment for Protocol Test Suite Generation, Selection and Validation | 3 | 0.58 | 1993 |
A Metric Based Theory of Test Selection and Coverage | 18 | 1.40 | 1993 |
A Framework for the Design for Testability of Communication Protocols | 12 | 1.00 | 1993 |
The UBC Protocol Testing Environment | 2 | 0.41 | 1993 |
Concurrency model and its application to formal protocol specifications | 3 | 0.48 | 1993 |
Automated Test Case Selection Based on Test Coverage Metrics | 5 | 0.53 | 1992 |
On Test Coverage Metrics for Communication Protocols | 14 | 1.28 | 1991 |