Sciweavers

1508 search results - page 144 / 302
» Toward Software Plug-and-Play
Sort
View
AMAST
2008
Springer
14 years 21 days ago
Towards Validating a Platoon of Cristal Vehicles Using CSP||B
The complexity of specification development and verification of large systems has to be mastered. In this paper a specification of a real case study, a platoon of Cristal vehicles ...
Samuel Colin, Arnaud Lanoix, Olga Kouchnarenko, Je...
PRDC
2000
IEEE
14 years 2 months ago
Effects of failure correlation on software in operation
Since the early 1970's a number of models have been proposed for estimating software reliability. However, the realism of many of the underlying assumptions and the applicabi...
Katerina Goseva-Popstojanova, Kishor S. Trivedi
WCRE
1999
IEEE
14 years 3 months ago
Partial Redesign of Java Software Systems Based on Clone Analysis
Code duplication, plausibly caused by copying source code and slightly modifying it, is often observed in large systems. Clone detection and documentation have been investigated b...
Magdalena Balazinska, Ettore Merlo, Michel Dagenai...
CLEIEJ
2006
126views more  CLEIEJ 2006»
13 years 10 months ago
Software Based Fault Tolerance against Byzantine Failures
The proposed software technique is a very low cost and an effective solution towards designing Byzantine fault tolerant computing application systems that are not so safety critic...
Goutam Kumar Saha
ICSE
2000
IEEE-ACM
14 years 2 months ago
Software engineering and middleware: a roadmap
The construction of a large class of distributed systems can be simplified by leveraging middleware, which is layered between network operating systems and application components....
Wolfgang Emmerich