Sciweavers

2897 search results - page 260 / 580
» Test Case Integration: From Components to Systems
Sort
View
ECLIPSE
2007
ACM
15 years 10 months ago
Porting a distributed meeting system to the Eclipse communication framework
eConference is a text-based conferencing tool that supports distributed teams in need for synchronous communication and structured discussion services. Other than offering communi...
Fabio Calefato, Filippo Lanubile, Mario Scalas
FM
1999
Springer
161views Formal Methods» more  FM 1999»
15 years 11 months ago
Combining Theorem Proving and Continuous Models in Synchronous Design
Support for system speci cation in terms of modelling and simulation environments has become a common practice in safety-critical applications. Also, a current trend is the automat...
Simin Nadjm-Tehrani, Ove Åkerlund
FORTE
2001
15 years 8 months ago
Stepwise Design with Message Sequence Charts
Use cases are useful in various stages of the software process. They are very often described using text that has to be interpreted by system designers. This could lead to implemen...
Ferhat Khendek, Stephan Bourduas, Daniel Vincent
ICPP
2007
IEEE
16 years 27 days ago
A Meta-Learning Failure Predictor for Blue Gene/L Systems
The demand for more computational power in science and engineering has spurred the design and deployment of ever-growing cluster systems. Even though the individual components use...
Prashasta Gujrati, Yawei Li, Zhiling Lan, Rajeev T...
ACSC
2004
IEEE
15 years 10 months ago
An Open Meteorological Alerting System: Issues and Solutions
This paper describes an experimental alerting system under development by the Australian Bureau of Meteorology, initially targetted at (but not restricted to) the aviation sector....
Ian D. Mathieson, Sandy Dance, Lin Padgham, Malcol...