Sciweavers

3898 search results - page 187 / 780
» Maintaining Component-Based Systems
Sort
View
FM
2003
Springer
136views Formal Methods» more  FM 2003»
15 years 9 months ago
Improving Safety Assessment of Complex Systems: An Industrial Case Study
The complexity of embedded controllers is steadily increasing. This trend, stimulated by the continuous improvement of the computational power of hardware, demands for a correspond...
Marco Bozzano, Antonella Cavallo, Massimo Cifaldi,...
ACSAC
2002
IEEE
15 years 9 months ago
Architectures for Intrusion Tolerant Database Systems
In this paper, we propose four architectures for intrusion-tolerant database systems. While traditional secure database systems rely on prevention controls, an intrusion-tolerant ...
Peng Liu
IWPC
1997
IEEE
15 years 8 months ago
Identifying objects in legacy systems
Many organisations are migrating towards object-oriented technology. However, owing to the business value of legacy software, new object-oriented development has to be weighed aga...
Aniello Cimitile, Andrea De Lucia, Giuseppe A. Di ...
DSN
2007
IEEE
15 years 8 months ago
A Real-Time Network Traffic Profiling System
This paper presents the design and implementation of a real-time behavior profiling system for high-speed Internet links. The profiling system uses flow-level information from con...
Kuai Xu, Feng Wang 0002, Supratik Bhattacharyya, Z...
FLAIRS
2004
15 years 5 months ago
On the Pedagogically Guided Paper Recommendation for an Evolving Web-Based Learning System
In this paper we discuss the mechanism of a recommender system recommending papers for an evolving web-based learning system. Our system is unique in three aspects. The first is t...
Tiffany Ya Tang, Gordon I. McCalla