Sylvanus A. Ehikioya

According to our database, Sylvanus A. Ehikioya authored at least 25 papers between 1997 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2020

A Traffic Tracking Analysis Model for the Effective Management of E-commerce Transactions.

Sylvanus A. Ehikioya, Shenghong Lu

Int. J. Networked Distributed Comput., 2020

2019

A Formal Model of Distributed Security for Electronic Commerce Transactions Systems.

Sylvanus A. Ehikioya, Adepele A. Olukunle

Int. J. Networked Distributed Comput., 2019

2018

Real-time Multi-Agents Architecture for E-commerce Servers.

Sylvanus A. Ehikioya, Cong Zhang

Int. J. Networked Distributed Comput., 2018

A Formal Model of Peer-to-Peer Digital Product Marketplace.

Sylvanus A. Ehikioya

Int. J. Networked Distributed Comput., 2018

2007

Evolving a "Wise" integration system for e-commerce transactions.

Chima Adiele, Sylvanus A. Ehikioya

Electron. Commer. Res. Appl., 2007

2005

Towards a formal data management strategy for a web-based community.

Chima Adiele, Sylvanus A. Ehikioya

Int. J. Web Based Communities, 2005

A comparative study of specification methods for electronic commerce systems.

Sylvanus A. Ehikioya, B. Ola

Proceedings of the 2005 ACS / IEEE International Conference on Computer Systems and Applications (AICCSA 2005), 2005

2004

Intelligent Content-Based Routing for Enhanced Internet Services.

Sylvanus A. Ehikioya, Jayaraman Suresh, Jose A. Rueda

Proceedings of the 4th IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2004), 2004

Dynamic Identification of Correspondence Assertions for Electronic Commerce Data Integration.

Chima Adiele, Sylvanus A. Ehikioya

Proceedings of the International Conference on Information Technology: Coding and Computing (ITCC'04), 2004

A predicate logic foundation for financial audit systems.

John A. Akinyemi, Sylvanus A. Ehikioya

Proceedings of the IASTED Conference on Software Engineering and Applications, 2004

A Flexible Integration Model for Web-based E-Commerce Transactions.

Chima Adiele, Sylvanus A. Ehikioya

Proceedings of the 19th International Conference on Computers and Their Applications, 2004

2003

Security Middleware Infrastructure for DICOM Images in Health Information Systems.

Vijay N. V. Kallepalli, Sylvanus A. Ehikioya, Sergio Camorlinga, Jose A. Rueda

J. Digit. Imaging, 2003

2001

A Formal Perspective to Modelling Electronic Commerce Transactions.

Sylvanus A. Ehikioya

Rev. Colomb. de Computación, 2001

A formal characterization of electronic commerce transactions.

Sylvanus A. Ehikioya

ACIS Int. J. Comput. Inf. Sci., 2001

2000

A formal perspective to specification of transaction systems.

Sylvanus A. Ehikioya, Ken Barker

South Afr. Comput. J., 2000

Electronic Commerce for Services and Intangible Goods.

Sylvanus A. Ehikioya, Jayaraman Suresh

Proceedings of the International Conference on Internet Computing, 2000

Modeling Electronic Commerce Transactions in Z.

Sylvanus A. Ehikioya

Proceedings of the International Conference on Internet Computing, 2000

1999

A formal specification of transaction systems in distributed multi-agents systems.

Sylvanus A. Ehikioya, Trevor Walowetz

Proceedings of the Computers and Their Applications (CATA-99), 1999

An integrated tool support for the specification of transaction systems protocols.

Sylvanus A. Ehikioya

Proceedings of the Computers and Their Applications (CATA-99), 1999

1998

Adaptive fuzzy rough approximate time controller design methodology: concepts, Petri net model and application.

James F. Peters, K. Ziaei, Sheela Ramanna, Sylvanus A. Ehikioya

Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, 1998

Evolution of competing situated robots: concepts and experiments with a Java applet.

James F. Peters, J. Wong, Sheela Ramanna, Sylvanus A. Ehikioya

Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, 1998

A formal approach to multimedia information systems development.

Sylvanus Agbonifoh Ehikioya

Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, 1998

1997

Specification of transaction systems protocols.

Sylvanus Agbonifoh Ehikioya

PhD thesis, 1997

A Formal Specification Strategy for Electronic Commerce.

Sylvanus A. Ehikioya, Ken Barker

Proceedings of the International Database Engineering and Applications Symposium, 1997

CSP with Record Data Type for Supporting Transaction Systems Specification.

Sylvanus A. Ehikioya, Ken Barker

Proceedings of the First East-European Symposium on Advances in Databases and Information Systems (ADBIS'97), 1997