Sylvanus A. Ehikioya

Publication Activity (10 Years)

Years Active: 1997-2020
Publications (10 Years): 4

Top Topics

Reputation Systems

Negotiating Agents

Security Properties

Top Venues

Int. J. Networked Distributed Comput.

Publications

Sylvanus A. Ehikioya, Shenghong Lu
A Traffic Tracking Analysis Model for the Effective Management of E-commerce Transactions. Int. J. Networked Distributed Comput. 8 (3) (2020)
Sylvanus A. Ehikioya, Adepele A. Olukunle
A Formal Model of Distributed Security for Electronic Commerce Transactions Systems. Int. J. Networked Distributed Comput. 7 (2) (2019)
Sylvanus A. Ehikioya
A Formal Model of Peer-to-Peer Digital Product Marketplace. Int. J. Networked Distributed Comput. 6 (3) (2018)
Sylvanus A. Ehikioya, Cong Zhang
Real-time Multi-Agents Architecture for E-commerce Servers. Int. J. Networked Distributed Comput. 6 (2) (2018)
Chima Adiele, Sylvanus A. Ehikioya
Evolving a "Wise" integration system for e-commerce transactions. Electron. Commer. Res. Appl. 6 (2) (2007)
Chima Adiele, Sylvanus A. Ehikioya
Towards a formal data management strategy for a web-based community. Int. J. Web Based Communities 1 (2) (2005)
Sylvanus A. Ehikioya, B. Ola
A comparative study of specification methods for electronic commerce systems. AICCSA (2005)
Sylvanus A. Ehikioya, Jayaraman Suresh, Jose A. Rueda
Intelligent Content-Based Routing for Enhanced Internet Services. SNPD (2004)
Chima Adiele, Sylvanus A. Ehikioya
A Flexible Integration Model for Web-based E-Commerce Transactions. CATA (2004)
Chima Adiele, Sylvanus A. Ehikioya
Dynamic Identification of Correspondence Assertions for Electronic Commerce Data Integration. ITCC (1) (2004)
John A. Akinyemi, Sylvanus A. Ehikioya
A predicate logic foundation for financial audit systems. IASTED Conf. on Software Engineering and Applications (2004)
Vijay N. V. Kallepalli, Sylvanus A. Ehikioya, Sergio Camorlinga, Jose A. Rueda
Security Middleware Infrastructure for DICOM Images in Health Information Systems. J. Digit. Imaging 16 (4) (2003)
Sylvanus A. Ehikioya
A formal characterization of electronic commerce transactions. ACIS Int. J. Comput. Inf. Sci. 2 (3) (2001)
Sylvanus A. Ehikioya
A Formal Perspective to Modelling Electronic Commerce Transactions. Rev. Colomb. de Computación 2 (2) (2001)
Sylvanus A. Ehikioya, Ken Barker
A formal perspective to specification of transaction systems. South Afr. Comput. J. 26 (2000)
Sylvanus A. Ehikioya, Jayaraman Suresh
Electronic Commerce for Services and Intangible Goods. International Conference on Internet Computing (2000)
Sylvanus A. Ehikioya
Modeling Electronic Commerce Transactions in Z. International Conference on Internet Computing (2000)
Sylvanus A. Ehikioya
An integrated tool support for the specification of transaction systems protocols. CATA (1999)
Sylvanus A. Ehikioya, Trevor Walowetz
A formal specification of transaction systems in distributed multi-agents systems. CATA (1999)
James F. Peters, K. Ziaei, Sheela Ramanna, Sylvanus A. Ehikioya
Adaptive fuzzy rough approximate time controller design methodology: concepts, Petri net model and application. SMC (1998)
James F. Peters, J. Wong, Sheela Ramanna, Sylvanus A. Ehikioya
Evolution of competing situated robots: concepts and experiments with a Java applet. SMC (1998)
Sylvanus A. Ehikioya, Ken Barker
A Formal Specification Strategy for Electronic Commerce. IDEAS (1997)
Sylvanus A. Ehikioya, Ken Barker
CSP with Record Data Type for Supporting Transaction Systems Specification. ADBIS (1997)