This paper aims to categorize some of the fundamental information systems (IS) challenges with the development of consumer-oriented electronic commerce or online retailing. With th...
This paper presents a logic, called BOTL (Object-Based Temporal Logic), that facilitates the specification of dynamic and static properties of object-based systems. The logic is ba...
This paper presents a visual information seeking system for the WWW called INSYDER1 . The aim of INSYDER is to find business information from the WWW. Information seeking - especi...
Security services in a multi-user environment are often based on access control mechanisms. Static of an access control policy can be formalised using abstract algebraic models. W...
The present paper proposes a new concept of image processing method based on vector representation for visual inspection test. The method was applied to detect defects and extract...