Sciweavers

4150 search results - page 387 / 830
» A Practical Approach to Model Extension
Sort
View
183
Voted
SCESM
2006
ACM
239views Algorithms» more  SCESM 2006»
16 years 3 days ago
Aspect-oriented software design with a variant of UML/STD
The notion of aspect is important as a systematic approach to the representation of cross-cutting concerns and the incremental additions of new functionalities to an existing syst...
Shin Nakajima, Tetsuo Tamai
BPM
2004
Springer
110views Business» more  BPM 2004»
15 years 11 months ago
Integration of Multi-attributed Negotiations within Business Processes
For the integration of electronic negotiation systems within information systems, it is essential to model both using the same modelling paradigm to avoid frictions. We develop a g...
Carlo Simon, Michael Rebstock
AIMSA
2000
Springer
15 years 10 months ago
Steps towards C+C: A Language for Interactions
We present in this paper our reflections about the requirements of new architectures and languages for the Web, confronted with the ones emerging from qualified scientists such as ...
Stefano A. Cerri, Jean Sallantin, Emmanuel Castro,...
146
Voted
EUROMICRO
1998
IEEE
15 years 10 months ago
Design Correctness of Digital Systems
Transformational design is aformal technique directed at design correctness. It integrates design and veriJication by the use of pre-proven behaviour preserving transformations as...
Corrie Huijs
WSC
2007
15 years 8 months ago
Determining safety stocks in the presence of workload-dependent lead times
Most classical stochastic inventory models assume that replenishment lead times are independent of the amount of orders placed. This assumption is clearly problematic in capacitat...
Seza Orcun, Sila Çetinkaya, Reha Uzsoy