Sciweavers

12697 search results - page 318 / 2540
» Call for Papers
Sort
View
ENTCS
2006
145views more  ENTCS 2006»
15 years 6 months ago
Cooperation-based Invariants for OO Languages
In general, invariants may depend on the state of other objects. The approach introduced in this paper allows this for objects of mutually visible classes, in a way that supports ...
Ronald Middelkoop, Cornelis Huizing, Ruurd Kuiper,...
EOR
2006
50views more  EOR 2006»
15 years 6 months ago
Optimal product rollover strategies
As product life cycles shortened, many firms introduce new products and phase out old products frequently. To plan for a successful product rollover; i.e., introduce a new product...
Wei Shi Lim, Christopher S. Tang
EOR
2006
61views more  EOR 2006»
15 years 6 months ago
Workload minimization in re-entrant lines
This paper is concerned with workload minimization in re-entrant lines with exponential service times and preemptive control policies. Using a numerical algorithm called the power...
Ger Koole, Auke Pot
IANDC
2006
81views more  IANDC 2006»
15 years 6 months ago
True-concurrency probabilistic models: Branching cells and distributed probabilities for event structures
This paper is devoted to probabilistic models for concurrent systems under their true-concurrency semantics. Here we address probabilistic event structures. We consider a new clas...
Samy Abbes, Albert Benveniste
CLEIEJ
2007
192views more  CLEIEJ 2007»
15 years 6 months ago
ALLEGRO: Teaching/Learning Multi-Agent Environment using Instructional Planning and Cases- Based Reasoning (CBR)
This paper presents a description of the environments of individualized learning (Based on the Intelligent Tutoring Systems, ITS), the Computer Supported Collaborative Learning (C...
Rosa M. Viccari, Demetrio A. Ovalle, Jovani A. Jim...