1508 search results - page 144 / 302 » Toward Software Plug-and-Play |
AMAST
2008
Springer
14 years 21 days ago
2008
Springer
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 ...
PRDC
2000
IEEE
14 years 2 months ago
2000
IEEE
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...
WCRE
1999
IEEE
14 years 3 months ago
1999
IEEE
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...
CLEIEJ
2006
13 years 10 months ago
2006
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...
ICSE
2000
IEEE-ACM
14 years 2 months ago
2000
IEEE-ACM
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....