Sylvanus A. Ehikioya

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