Kassem Saleh

According to our database1, Kassem Saleh authored at least 55 papers between 1990 and 2021.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2021
An efficient Time-sensitive data scheduling approach for Wireless Sensor Networks in smart cities.
Comput. Commun., 2021

2019
An Efficient Data Scheduling Scheme for Cloud- Based Big Data Framework for Smart City.
Proceedings of the 2019 IEEE Global Communications Conference, 2019

2013
Zone-based routing protocol with mobility consideration for wireless sensor networks.
Telecommun. Syst., 2013

State-expansion-based techniques for synthesizing concurrent protocol specifications in distributed systems.
Int. J. Commun. Syst., 2013

2012
A Novel Hierarchical and Heterogeneous Mobile Agent-Based Wireless Sensor Networks (HHMA-WSN) Architecture.
J. Next Gener. Inf. Technol., 2012

Synthesizing Distributed Protocol Specifications from a UML State Machine Modeled Service Specification.
J. Comput. Sci. Technol., 2012

2011
Mobility and routing in Wireless Sensor Networks.
Proceedings of the 24th Canadian Conference on Electrical and Computer Engineering, 2011

2009
A Stochastic Model for Improving Information Security in Supply Chain Systems.
Int. J. Inf. Syst. Supply Chain Manag., 2009

2008
Service-Oriented Synthesis of Distributed and Concurrent Protocol Specifications.
J. Comput. Networks Commun., 2008

Identity and Pairing-Based Secure Key Management Scheme for Heterogeneous Sensor Networks.
Proceedings of the IEEE International Conference on Wireless and Mobile Computing, 2008

2004
M-UML: an extension to UML for the modeling of mobile agent-based software systems.
Inf. Softw. Technol., 2004

A mobile-agent platform and a game application specifications using M-UML.
Electron. Libr., 2004

2003
Specifications for a Mobile-Agent Platform and an Internet-Based Mobile Electronic Voting Application.
Proceedings of the International Conference on Internet Computing, 2003

2002
An approach for high-yield requirements capture for e-commerce and its application.
Int. J. Digit. Libr., 2002

Documenting electronic commerce systems and software using the unified modeling language.
Inf. Softw. Technol., 2002

2001
Anomaly detection in concurrent Java programs using dynamic data flow analysis.
Inf. Softw. Technol., 2001

Current issues in high-speed networks.
Comput. Commun., 2001

Bottlenecks in next generation DWDM-based optical networks.
Comput. Commun., 2001

MSA: a modular switching architecture for packet transport over ultra-dense WDM networks.
Proceedings of the IEEE International Conference on Communications, 2001

Distributed Object Computing and its Application in Electronic Commerce Systems.
Proceedings of the 2001 ACS / IEEE International Conference on Computer Systems and Applications (AICCSA 2001), 2001

2000
Dynamic data flow analysis for Java programs.
Inf. Softw. Technol., 2000

Test generation based on control and data dependencies within system specifications in SDL.
Comput. Commun., 2000

Testing Java Programs Using Dynamic Data Flow Analysis.
Proceedings of the Applied Computing 2000, 2000

1999
The distributed object computing paradigm: concepts and applications.
J. Syst. Softw., 1999

Synthesis of communications protocol converters using the timed Petri net model.
J. Syst. Softw., 1999

Recovery of CFSM-based protocol and service design from protocol execution traces.
Inf. Softw. Technol., 1999

Communications software engineering (CSE).
Inf. Softw. Technol., 1999

Object model in Java: elements and application.
Inf. Softw. Technol., 1999

Communications software design for testability: specification transformations and testability measures.
Inf. Softw. Technol., 1999

Testing Syntax and Semantic Coverage of Java Language Compilers.
Inf. Softw. Technol., 1999

Test development for communication protocols: towards automation.
Comput. Networks, 1999

Corba-Based Telecom Application of Distributed Object Computing.
Proceedings of the 17th IASTED International Conference on Applied Informatics, 1999

1998
Error detection and diagnosis for fault tolerance in distributed systems.
Inf. Softw. Technol., 1998

Synthesis of protocol converters: an annotated bibliography.
Comput. Stand. Interfaces, 1998

Synthesis of communications protocol converters: survey and assessment.
Comput. Commun., 1998

1997
Compiler test case generation methods: a survey and assessment.
Inf. Softw. Technol., 1997

Distributed gang scheduling in networks of heterogenous workstations.
Comput. Commun., 1997

Two formal methods for the synthesis of discrete event systems.
Comput. Networks ISDN Syst., 1997

1996
Recovery From Concurrent Failures in Communication Protocols.
J. Syst. Softw., 1996

Communications software reverse engineering: a semi-automatic approach.
Inf. Softw. Technol., 1996

Modelling the semantics of multitasking facilities in Concurrent C using Petri nets.
Inf. Softw. Technol., 1996

An efficient process migration algorithm for homogeneous clusters.
Inf. Softw. Technol., 1996

Editorial.
Comput. Commun., 1996

Synthesis of communications protocols: an annotated bibliography.
Comput. Commun. Rev., 1996

Recovery of Communications Protocol Design from Run Time Protocol Traces.
Proceedings of the 2nd IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '96), 1996

1995
An evolutionary technique for local microcode compaction.
Microprocess. Microsystems, 1995

Validation-directed specification of communications systems.
Inf. Softw. Technol., 1995

Recovery Approach to the Design of Stabilizing Communication Protocols.
Comput. Commun., 1995

Task Scheduling Using an Evolutionary Technique.
Proceedings of the Seventh IASTED/ISMM International Conference on Parallel and Distributed Computing and Systems, 1995

1994
An efficient recovery procedure for fault tolerance in distributed systems.
J. Syst. Softw., 1994

Efficient checkpointing procedures for fault tolerant distributed systems.
Microprocess. Microprogramming, 1994

Compiler test suite: evaluation and use in an automated test environment.
Inf. Softw. Technol., 1994

Modified distributed snapshots algorithm for protocol stabilization.
Comput. Commun., 1994

1991
Synthesis of Communication Protocols: Survey and Assessment.
IEEE Trans. Computers, 1991

1990
Synthesis of Error-Recoverable Protocol Specifications from Service Specifications.
Proceedings of the Advances in Computing and Information, 1990


  Loading...