Sciweavers

3931 search results - page 473 / 787
» Separation logic and abstraction
Sort
View
I3E
2003
133views Business» more  I3E 2003»
15 years 8 months ago
Inter-Organizational E-Services Accounting Management on Computational Grids
Abstract Accounting management is of strategic importance for a successful uptake of computational Grid technology within the user community. Computational Grid is one the most imp...
Franco Arcieri, Fabio Fioravanti, Enrico Nardelli,...
ECIS
2000
15 years 8 months ago
Digital Material in a Political Work Context - The Case of Cuparla
Abstract - Understanding the appropriation of CSCW-Tools is key to their successful implementation. This paper explores the social and organizational appropriation of the Cuparla C...
Gerhard Schwabe, Helmut Krcmar
IPCO
1998
152views Optimization» more  IPCO 1998»
15 years 8 months ago
Approximation Bounds for a General Class of Precedence Constrained Parallel Machine Scheduling Problems
Abstract. A well studied and difficult class of scheduling problems concerns parallel machines and precedence constraints. In order to model more realistic situations, we consider ...
Alix Munier, Maurice Queyranne, Andreas S. Schulz
DLOG
1997
15 years 8 months ago
Experiments with the DFL Hybrid System
Abstract. In this short paper we describe the DFL hybrid knowledge base, that integrates descriptions with expressive object-oriented rules. The knowledge base manages a database o...
Mira Balaban, Adi Eyal
VMV
2000
169views Visualization» more  VMV 2000»
15 years 8 months ago
Automatic Adjustment of Transfer Functions for 3D Volume Visualization
In most volume rendering scenarios implicit classification is performed manually by specification of a transfer function, that maps abstract data values to visual attributes. An a...
Christof Rezk-Salama, Peter Hastreiter, Jörg ...