Sciweavers

3128 search results - page 445 / 626
» Finite element method
Sort
View
CSCWD
2009
Springer
15 years 9 months ago
A collaborative knowledge construction system design for massive knowledge resources
Aiming at deficiencies of existing knowledge resources management systems, we designed a new collaborative knowledge construction system for massive knowledge resources. By collab...
Qinghua Zheng, Zhaohui Wu, Lu Jiang, Jun Liu
CAISE
2001
Springer
15 years 9 months ago
Techniques for Reactive System Design: The Tools in TRADE
Reactive systems are systems whose purpose is to maintain a certain desirable state of affairs in their environment, and include information systems, groupware, workflow systems,...
Roel Wieringa, David N. Jansen
CC
2001
Springer
131views System Software» more  CC 2001»
15 years 9 months ago
Compiler Transformation of Pointers to Explicit Array Accesses in DSP Applications
Abstract. Efficient implementation of DSP applications are critical for embedded systems. However, current applications written in C, make extensive use of pointer arithmetic maki...
Björn Franke, Michael F. P. O'Boyle
EWSPT
2001
Springer
15 years 9 months ago
Towards a Living Software Development Process Based on Process Patterns
A Software Development Process for a certain enterprise and/or a certain project will usually integrate elements from a variety of existing process models, comprising generic stand...
Michael Gnatz, Frank Marschall, Gerhard Popp, Andr...
FASE
2001
Springer
15 years 9 months ago
A Hoare Calculus for Verifying Java Realizations of OCL-Constrained Design Models
Abstract. The Object Constraint Language OCL offers a formal notation for constraining the modelling elements occurring in UML diagrams. In this paper we apply OCL for developing ...
Bernhard Reus, Martin Wirsing, Rolf Hennicker