Sciweavers

1989 search results - page 214 / 398
» Integrity Management in Component Based Systems
Sort
View
WSE
2002
IEEE
15 years 11 months ago
Laying the Foundation for Web Services over Legacy Systems
As the use of the World Wide Web becomes more pervasive within our society, businesses and institutions are required to migrate a wide range of services to the web. Difficulties a...
Janet Lavery, Cornelia Boldyreff, Bin Ling, Colin ...
HICSS
2003
IEEE
214views Biometrics» more  HICSS 2003»
15 years 11 months ago
An Event Driven Approach to Customer Relationship Management in e-Brokerage Industry
Customer Relationship Management (CRM) is critical to the success of a business. Recent work in CRM has focused on the mining of customer-related data and the construction of cust...
Dickson K. W. Chiu, Wesley C. W. Chan, Gary K. W. ...
CAISE
2000
Springer
15 years 10 months ago
An Overview of RoZ: A Tool for Integrating UML and Z Specifications
This paper presents an approach and a tool to increase specification quality by using a combination of UML and formal languages. Our approach is based on the expression of the UML ...
Sophie Dupuy, Yves Ledru, Monique Chabre-Peccoud
DATE
2006
IEEE
112views Hardware» more  DATE 2006»
16 years 14 days ago
On the verification of automotive protocols
Verification quality is a must for functional safety in electronic systems. In automotive, the verification flow is historically based on a layered approach, where each level (mod...
G. Zarri, F. Colucci, F. Dupuis, R. Mariani, M. Pa...
HICSS
1994
IEEE
155views Biometrics» more  HICSS 1994»
15 years 10 months ago
Concurrent Simulation and Control of Robot Tasks
In the area of telerobotics, where remote systems are to be controlled, it is helpful to plan subsequent operations based on as much relevant data as possible. The simulation of t...
Ulrich Mehlhaus