ECBS
2006
IEEE
13 years 6 months ago
2006
IEEE
Network attacks have become the fundamental threat to today's largely interconnected computer systems. Unauthorized activities and unauthorized access account for a large pro...
ECBS
2006
IEEE
13 years 6 months ago
2006
IEEE
With the wireless communication network and location data, the existing telematics system provides various information services such as navigation, emergency service, and etc. In ...
ECBS
2006
IEEE
13 years 8 months ago
2006
IEEE
Fault prediction models still seem to be more popular in academia than in industry. In industry expert estimations of fault proneness are the most popular methods of deciding wher...
ECBS
2006
IEEE
13 years 8 months ago
2006
IEEE
Software product lines (PLs) are large, complex systems, demanding high maintainability and enhanced flexibility. Nonetheless, in the state of the art PL methods, features are sca...
ECBS
2006
IEEE
13 years 8 months ago
2006
IEEE
The paper depicts experiments and results with preditraction based verification applied to infinite state Predicate abstraction is a method for automatic tion of abstract state sp...
ECBS
2006
IEEE
13 years 8 months ago
2006
IEEE
In this paper, we propose an equivalent model in a serial queue for representing the serial connection of the load balancer and a Web server of the Web cluster. We have set up an ...
ECBS
2006
IEEE
13 years 8 months ago
2006
IEEE
We present in this paper a unified paradigm for the verification and validation of software and systems engineering design models expressed in UML 2.0 or SysML. This paradigm reli...
ECBS
2006
IEEE
13 years 10 months ago
2006
IEEE
In this paper we argue for UML-based metamodeling and pattern-based graph transformation techniques in computer-based systems development through an illustrative example from the ...
ECBS
2006
IEEE
13 years 10 months ago
2006
IEEE
ECBS
2006
IEEE
13 years 10 months ago
2006
IEEE
