Sciweavers

399 search results - page 35 / 80
» aim 2000
Sort
View
ECIS
2000
13 years 9 months ago
The Online Retailing Challenge: Forward Integration and E-Backend Development
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...
Christoph Schlueter Langdon, Michael J. Shaw
FMOODS
2000
13 years 9 months ago
On a Temporal Logic for Object-Based Systems
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...
Dino Distefano, Joost-Pieter Katoen, Arend Rensink
ISIWI
2000
13 years 9 months ago
INSYDER - Information Retrieval Aspects of a Business Intelligence System
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...
Gabriela Mußler, Harald Reiterer, Thomas M. ...
IWFM
2000
167views Formal Methods» more  IWFM 2000»
13 years 9 months ago
An Algebraic Basis for Specifying and Enforcing Access Control in Security Systems
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...
Claus Pahl
MVA
2000
191views Computer Vision» more  MVA 2000»
13 years 9 months ago
Development of Visual Inspection System Based on Vector Analysis Technique
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...
Masatake Sakuma, Katsumi Kubo, Shigeru Kanemoto, T...