Sciweavers

3901 search results - page 241 / 781
» software 2008
Sort
View
SNPD
2008
15 years 7 months ago
Tools and Techniques for Model Checking Networked Programs
For software executing several threads in parallel, testing is unreliable, as it cannot cover all thread schedules. Model checking, however, can cover all possible thread interlea...
Cyrille Artho, Watcharin Leungwattanakit, Masami H...
CSMR
2008
IEEE
16 years 20 days ago
Using Architectural Models to Predict the Maintainability of Enterprise Systems
Modern software systems are highly interconnected and have been under constant change for many years. IT decision makers find it difficult to predict and plan change projects due ...
Robert Lagerström, Pontus Johnson
SOFTWARE
2002
15 years 5 months ago
An Architecture for Agent-Enhanced Network Service Provisioning through SLA Negotiation
This paper focuses on two main areas. We first investigate various aspects of subscription and session Service Level Agreement (SLA) issues such as negotiating and setting up netwo...
David Chieng, Ivan Ho, Alan Marshall, Gerard Parr
SOFTWARE
2002
15 years 5 months ago
Facing Fault Management as It Is, Aiming for What You Would Like It to Be
Telecommunication systems are built with extensive redundancy and complexity to ensure robustness and quality of service. Such systems requires complex fault identification and man...
Roy Sterritt
SOFTWARE
2002
15 years 5 months ago
Handling Uncertainty in a Medical Study of Dietary Intake During Pregnancy
This paper is concerned with handling uncertainty as part of the analysis of data from a medical study. The study is investigating connections between the birth weight of babies an...
Adele H. Marshall, David A. Bell, Roy Sterritt