Sciweavers

319 search results - page 8 / 64
» Defining Requirements for an Incident Management System: A C...
Sort
View
AINA
2008
IEEE
13 years 9 months ago
A Case Study on Software Evolution towards Service-Oriented Architecture
The evolution of any software product over its lifetime is unavoidable, caused both by bugs to be fixed and by new requirements appearing in the later stages of the product's...
Félix Cuadrado, Boni García, Juan C....
CAISE
2009
Springer
13 years 11 months ago
Defining and Using Schematic Correspondences for Automatically Generating Schema Mappings
Mapping specification has been recognised as a critical bottleneck to the large scale deployment of data integration systems. A mapping is a description using which data structured...
Lu Mao, Khalid Belhajjame, Norman W. Paton, Alvaro...
CORR
1998
Springer
184views Education» more  CORR 1998»
13 years 7 months ago
Case Study in Survivable Network System Analysis
This paper presents a method for analyzing the survivability of distributed network systems and an example of its application. Survivability is the capability of a system to fulfi...
Robert J. Ellison, Richard C. Linger, Thomas A. Lo...
ICPADS
2005
IEEE
14 years 1 months ago
An Evaluation Mechanism for QoS Management in Wireless Systems
The evaluation of QoS requirements is one of the critical functions that span both the design and the run-time phases of QoS management. This paper presents an architecture for Qo...
Behzad Bordbar, Rachid Anane, Kozo Okano
VSTTE
2010
Springer
13 years 5 months ago
Towards Scalable Modular Checking of User-Defined Properties
Abstract. Theorem-prover based modular checkers have the potential to perform scalable and precise checking of user-defined properties by combining pathsensitive intraprocedural re...
Thomas Ball, Brian Hackett, Shuvendu K. Lahiri, Sh...