Mohammed Almulla

According to our database1, Mohammed Almulla authored at least 48 papers between 1992 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
Measuring Semantic Similarity between Services Using Hypergraphs.
Proceedings of the iiWAS2021: The 23rd International Conference on Information Integration and Web Intelligence, Linz, Austria, 29 November 2021, 2021

2017
A new framework for the verification of service trust behaviors.
Knowl. Based Syst., 2017

2015
A reliable quality of service aware fault tolerant gateway discovery protocol for vehicular networks.
Wirel. Commun. Mob. Comput., 2015

A new fuzzy hybrid technique for ranking real world Web services.
Knowl. Based Syst., 2015

The selective use of redundancy for video streaming over Vehicular Ad Hoc Networks.
Comput. Networks, 2015

GeoCover: An efficient sparse coverage protocol for RSU deployment over urban VANETs.
Ad Hoc Networks, 2015

2014
An efficient <i>k</i>-Means authentication scheme for digital certificates revocation validation in vehicular ad hoc networks.
Wirel. Commun. Mob. Comput., 2014

Design of a Fast Location-Based Handoff Scheme for IEEE 802.11 Vehicular Networks.
IEEE Trans. Veh. Technol., 2014

A Scalable Bandwidth-Efficient Hybrid Adaptive Service Discovery Protocol for Vehicular Networks with Infrastructure Support.
IEEE Trans. Mob. Comput., 2014

A novel non-functional matchmaking approach between fuzzy user queries and real world web services based on rough sets.
Future Gener. Comput. Syst., 2014

A Fuzzy Model for Selecting Social Web Services.
Proceedings of the Web Information Systems Engineering - WISE 2014, 2014

A Genetic Algorithm-Based Sparse Coverage over Urban VANETs.
Proceedings of the 2014 IEEE International Parallel & Distributed Processing Symposium Workshops, 2014

Video streaming over vehicular networks by a multiple path solution with error correction.
Proceedings of the IEEE International Conference on Communications, 2014

An efficient animal detection system for smart cars using cascaded classifiers.
Proceedings of the IEEE International Conference on Communications, 2014

A Knapsack Constrained Steiner Tree model for continuous coverage over urban VANETs.
Proceedings of the IEEE International Conference on Communications, 2014

Hotspot discovery algorithms in coverage selection model over VANETs.
Proceedings of the IEEE Global Communications Conference, 2014

2013
Design of traffic sign detection, recognition, and transmission systems for smart vehicles.
IEEE Wirel. Commun., 2013

LEADMesh: Design and analysis of an efficient leader election protocol for wireless mesh networks.
Simul. Model. Pract. Theory, 2013

A concurrent key exchange protocol based on commuting matrices.
Concurr. Comput. Pract. Exp., 2013

A novel cross layer TCP pacing protocol for multi-hop wireless networks.
Proceedings of the 2013 IEEE Wireless Communications and Networking Conference (WCNC), 2013

A geometry-based coverage strategy over urban VANETs.
Proceedings of the 10th ACM Symposium on Performance Evaluation of Wireless Ad Hoc, 2013

An efficient fault detection and diagnosis protocolfor vehicular networks.
Proceedings of the third ACM international symposium on Design and analysis of intelligent vehicular networks and applications, 2013

On the number of candidates in opportunistic routing for multi-hop wireless networks.
Proceedings of the MobiWac'13, 2013

A distributed fluid dynamic motivated quality assurance algorithm for multi-hop wireless transmissions.
Proceedings of the MobiWac'13, 2013

The use of Erasure Coding for video streaming unicast over Vehicular Ad Hoc Networks.
Proceedings of the 38th Annual IEEE Conference on Local Computer Networks, 2013

An improved authentication scheme for applying RFID in VANETs.
Proceedings of the 2013 IEEE Symposium on Computers and Communications, 2013

A fast location-based handoff scheme for vehicular networks.
Proceedings of IEEE International Conference on Communications, 2013

Autonomous Configuration Scheme in a Distributed Load Balancing System for HLA-Based Simulations.
Proceedings of the 17th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications, 2013

A Performance Evaluation of Load Balancing and QoS-aware Gateway Discovery Protocol for VANETs.
Proceedings of the 27th International Conference on Advanced Information Networking and Applications Workshops, 2013

2012
Measuring and Analyzing Migration Delay for the Computational Load Balancing of Distributed Virtual Simulations.
IEEE Trans. Instrum. Meas., 2012

A synergy between context-aware policies and AOP to achieve highly adaptable Web services.
Serv. Oriented Comput. Appl., 2012

Keyed hash function based on a chaotic map.
Inf. Sci., 2012

Visualization of Real-World Web Services Based on Fuzzy Logic.
Proceedings of the Eighth IEEE World Congress on Services, 2012

A reliable and robust gateway discovery mechanism for vehicular ad hoc networks.
Proceedings of the 10th ACM International Symposium on Mobility Management and Wireless Access, 2012

An efficient certificate revocation validation scheme with k-means clustering for vehicular ad hoc networks.
Proceedings of the 2012 IEEE Symposium on Computers and Communications, 2012

Machine Learning Approach to Enhance the Design of Automated Theorem Provers.
Proceedings of the Neural Information Processing - 19th International Conference, 2012

Towards Robust Routing in HD Tree.
Proceedings of the 16th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications, 2012

2011
Towards context-adaptable Web service policies.
Proceedings of the 2nd International Conference on Ambient Systems, 2011

A QoS-Based Fuzzy Model for Ranking Real World Web Services.
Proceedings of the IEEE International Conference on Web Services, 2011

2010
Context-based specification of Web service policies using WSPL.
Proceedings of the Fifth IEEE International Conference on Digital Information Management, 2010

2004
On the Power of Heuristics in Solving Large AI Problems.
Proceedings of the International Conference on Artificial Intelligence, 2004

2001
Improving the time efficiency of proving theorems using a learning mechanism.
Int. J. Comput. Math., 2001

A learning mechanism to enhance the time efficiency of proving theorems.
Proceedings of the ISCA 16th International Conference Computers and Their Applications, 2001

2000
Was Collective Intelligence before Life on Earth?
Proceedings of the Parallel and Distributed Processing, 2000

1999
Toward a Computational Model of Collective Intelligence and its IQ Measure.
Proceedings of the 1999 ACM Symposium on Applied Computing, 1999

1998
Heuristics Used by HERBY for Semantic Tree Theorem Proving.
Ann. Math. Artif. Intell., 1998

1996
The practicality of generating semantic trees for proofs of unsatisfiability.
Int. J. Comput. Math., 1996

1992
An Upper Bound on the Time Complexity of Iterative-Deepening-A.
Ann. Math. Artif. Intell., 1992


  Loading...