Sciweavers

3498 search results - page 555 / 700
» Role Model Based Framework Design and Integration
Sort
View
143
Voted
WSC
1996
15 years 6 months ago
Simulation for computer science majors: a preliminary report
The author is revising and restructuring an existing simulation course designed primarily for senior computer science majors by: 1) developing an integrated set of laboratory exer...
Ruth Silverman
ENTCS
2010
123views more  ENTCS 2010»
15 years 5 months ago
Combining Architecture-based Software Reliability Predictions with Financial Impact Calculations
Software failures can lead to substantial costs for the user. Existing models for software reliability prediction do not provide much insight into this financial impact. Our appro...
Franz Brosch, Ralf Gitzel, Heiko Koziolek, Simone ...
SSS
2010
Springer
125views Control Systems» more  SSS 2010»
15 years 2 months ago
Systematic Correct Construction of Self-stabilizing Systems: A Case Study
Design and implementation of distributed algorithms often involve many subtleties due to their complex structure, non-determinism, and low atomicity as well as occurrence of unanti...
Ananda Basu, Borzoo Bonakdarpour, Marius Bozga, Jo...
PLDI
2009
ACM
15 years 11 months ago
A language for information flow: dynamic tracking in multiple interdependent dimensions
This paper presents λI , a language for dynamic tracking of information flow across multiple, interdependent dimensions of information. Typical dimensions of interest are integr...
Avraham Shinnar, Marco Pistoia, Anindya Banerjee
BMCBI
2005
77views more  BMCBI 2005»
15 years 4 months ago
Ontological visualization of protein-protein interactions
Background: Cellular processes require the interaction of many proteins across several cellular compartments. Determining the collective network of such interactions is an importa...
Harold J. Drabkin, Christopher Hollenbeck, David P...