Sciweavers

Share
warning: Creating default object from empty value in /var/www/modules/taxonomy/taxonomy.module on line 1416.
ECBS
2006
IEEE
119views Hardware» more  ECBS 2006»
11 years 3 months ago
A Hybrid Intrusion Detection and Visualization System
Network attacks have become the fundamental threat to today's largely interconnected computer systems. Unauthorized activities and unauthorized access account for a large pro...
Jianfeng Peng, Chuan Feng, Jerzy W. Rozenblit
ECBS
2006
IEEE
116views Hardware» more  ECBS 2006»
11 years 3 months ago
WSN-based Intelligent Telematics System
With the wireless communication network and location data, the existing telematics system provides various information services such as navigation, emergency service, and etc. In ...
Jung-sick Byun, Woo-Suk Shim, Won-Kee Hong
ECBS
2006
IEEE
145views Hardware» more  ECBS 2006»
11 years 5 months ago
The Accuracy of Fault Prediction in Modified Code - Statistical Model vs. Expert Estimation
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...
Piotr Tomaszewski, Jim Håkansson, Lars Lundb...
ECBS
2006
IEEE
203views Hardware» more  ECBS 2006»
11 years 5 months ago
The Feature-Architecture Mapping (FArM) Method for Feature-Oriented Development of Software Product Lines
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...
Periklis Sochos, Matthias Riebisch, Ilka Philippow
ECBS
2006
IEEE
135views Hardware» more  ECBS 2006»
11 years 5 months ago
Model Checking Procedures for Infinite State Systems
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...
Nikola Bogunovi, Edgar Pek
ECBS
2006
IEEE
108views Hardware» more  ECBS 2006»
11 years 5 months ago
An Analysis and Measurement of the Equivalent Model of Serial Queues for a Load Balancer and a Web Server of a Web Cluster with
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 ...
Ying-Wen Bai, Yu-Nien Yang
ECBS
2006
IEEE
153views Hardware» more  ECBS 2006»
11 years 5 months ago
A Unified Approach for Verification and Validation of Systems and Software Engineering Models
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...
Luay Alawneh, Mourad Debbabi, Yosr Jarraya, Andrei...
ECBS
2006
IEEE
166views Hardware» more  ECBS 2006»
11 years 7 months ago
Model Transformations in the Model-Based Development of Real-time Systems
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 ...
Tivadar Szemethy, Gabor Karsai, Daniel Balasubrama...
ECBS
2006
IEEE
128views Hardware» more  ECBS 2006»
11 years 7 months ago
A Real-time Interactive Instructor Framework for Distance Education
Xinyou Zhao, Mitsuji Matsumoto, Yan Zhang
ECBS
2006
IEEE
124views Hardware» more  ECBS 2006»
11 years 7 months ago
Adaptive Tracking in Distributed Wireless Sensor Networks
Lizhi Yang, Chuan Feng, Jerzy W. Rozenblit, Haiyan...
books