Sciweavers

251 search results - page 48 / 51
» Integrating business processes with requirements elicitation
Sort
View
SIGADA
2005
Springer
14 years 3 months ago
The affordable application of formal methods to software engineering
The purpose of this research paper is to examine (1) why formal methods are required for software systems today; (2) the Praxis High Integrity Systems’ Correctness-by-Constructi...
James F. Davis
OTM
2005
Springer
14 years 3 months ago
Semantics of Agent-Based Service Delegation and Alignment
In this paper we will concentrate on the conceptual modeling and semantics of service delegation and alignment in information systems. In delegation, one typically has the situatio...
Herman Balsters, G. B. Huitema, Nicolae B. Szirbik
VLDB
1994
ACM
121views Database» more  VLDB 1994»
14 years 2 months ago
An Overview of Repository Technology
A repository is a shareddatabaseof information aboutengineeredartifacts.Wedefinea repository manager to be a databaseapplication that suPports checkout/checkin, version and config...
Philip A. Bernstein, Umeshwar Dayal
ECIS
2001
13 years 11 months ago
Healthcare Portals - Customer Centricity in the Pharmaceutical Industry
Customer centricity has long been a guiding principle for many businesses. However, it is usually limited to marketing existing products with as strong a customer focus as possibl...
Thomas Puschmann, Oliver Thalmann, Rainer Alt
DEXA
2005
Springer
148views Database» more  DEXA 2005»
14 years 3 months ago
XG: A Data-Driven Computation Grid for Enterprise-Scale Mining
In this paper we introduce a novel architecture for data processing, based on a functional fusion between a data and a computation layer. We show how such an architecture can be le...
Radu Sion, Ramesh Natarajan, Inderpal Narang, Wen-...