Sciweavers

1606 search results - page 223 / 322
» Methodological Approach for Developing a KMS: A Case Study
Sort
View
ENTCS
2007
114views more  ENTCS 2007»
15 years 4 months ago
Parametric Performance Contracts for Software Components with Concurrent Behaviour
Performance prediction methods for component-based software systems aim at supporting design decisions of software architects during early development stages. With the increased a...
Jens Happe, Heiko Koziolek, Ralf Reussner
ANOR
2004
143views more  ANOR 2004»
15 years 4 months ago
Model Independent Parametric Decision Making
Accurate knowledge of the effect of parameter uncertainty on process design and operation is essential for optimal and feasible operation of a process plant. Existing approaches de...
Ipsita Banerjee, Marianthi G. Ierapetritou
RTSS
1999
IEEE
15 years 9 months ago
High-Level Modeling and Analysis of TCAS
In this paper, we demonstrate a high-level approach to modeling and analyzing complex safety-critical systems through a case study in the area of air traffic management. In partic...
Carolos Livadas, John Lygeros, Nancy A. Lynch
POPL
2010
ACM
15 years 7 months ago
Programming with angelic nondeterminism
Angelic nondeterminism can play an important role in program development. It simplifies specifications, for example in deriving programs with a refinement calculus; it is the form...
Rastislav Bodík, Satish Chandra, Joel Galen...
SOCRATES
2008
151views Education» more  SOCRATES 2008»
15 years 6 months ago
Learning Translation Strategies in a CSCL Framework
This study investigated the extent to which the social constructivist approach can be applied to the teaching/learning of translation strategies in an e-learning environment. To a...
Viviana Gaballo