1078 search results - page 1 / 216 » Modelling and Verifying of e-Commerce Systems |
CAISE
2006
Springer
14 years 2 months ago
2006
Springer
Static function hierarchies and models of the dynamic behaviour are typically used in e-commerce systems. Issues to be verifies are the completeness and correctness of the static f...
KAIS
2008
13 years 11 months ago
2008
This paper focuses on knowledge empowered automated negotiation systems for buyer-centric multi-bilateral multi-attribute e-Procurement. We propose two knowledge empowered models,...
ECIS
2001
14 years 17 days ago
2001
The paper considers the conditions governing the diffusion and development of e-commerce. The analysis builds on earlier discussions of technological successions and explores a nu...
ICDIM
2007
IEEE
14 years 5 months ago
2007
IEEE
The Much advancement has lately occurred in eCommerce systems’ interfaces. Product specifications listings combined with pictures is no longer considered the benchmark for eComm...
HICSS
2006
IEEE
14 years 5 months ago
2006
IEEE
In this paper, we describe data support in an information system to support contextual, online negotiation of privacy contracts for e-commerce on the Semantic Web. Context is impo...