Sciweavers

970 search results - page 2 / 194
» Reliability Analysis of Concurrent Systems Using LTSA
Sort
View
FASE
2005
Springer
13 years 11 months ago
Using Scenarios to Predict the Reliability of Concurrent Component-Based Software Systems
Scenarios are a popular means for capturing behavioural requirements of software systems early in the lifecycle. Scenarios show how components interact to provide system level func...
Genaína Nunes Rodrigues, David S. Rosenblum...
SEW
2005
IEEE
13 years 11 months ago
Safe and Reliable Use of Concurrency in Multi-Threaded Shared-Memory Systems
R. E. Kurt Stirewalt, Reimer Behrends, Laura K. Di...
ECRTS
2008
IEEE
13 years 11 months ago
Temporal Analysis for Adapting Concurrent Applications to Embedded Systems
Embedded services and applications that interact with the real world often, over time, need to run on different kinds of hardware (low-cost microcontrollers to powerful multicore ...
Sibin Mohan, Johannes Helander
SIGSOFT
2001
ACM
14 years 6 months ago
Detecting implied scenarios in message sequence chart specifications
Scenario-based specifications such as Message Sequence Charts (MSCs) are becoming increasingly popular as part of a requirements specification. Scenarios describe how system compo...
Jeff Kramer, Jeff Magee, Sebastián Uchitel
JSW
2008
123views more  JSW 2008»
13 years 5 months ago
Component-oriented Reliability Analysis and Optimal Version-upgrade Problems for Open Source Software
The current software development environment has been changing into new development paradigms such as concurrent distributed development environment and the so-called open source p...
Yoshinobu Tamura, Shigeru Yamada