Sciweavers

3119 search results - page 530 / 624
» Abstract Requirement Analysis in Multiagent System Design
Sort
View
118
Voted
RTSS
1999
IEEE
15 years 8 months ago
On the Use of Formal Techniques for Analyzing Dependable Real-Time Protocols
The e ective design of composite dependable and real-time protocols entails demonstrating their proof of correctness and, in practice, the e cient delivery of services. We focus o...
Purnendu Sinha, Neeraj Suri
121
Voted
BPM
2004
Springer
148views Business» more  BPM 2004»
15 years 7 months ago
Interactive Workflow Mining
Many information systems log event data about executed tasks. Workflow mining is concerned with the derivation of a graphical workflow model out of this data. Experience from appl...
Markus Hammori, Joachim Herbst, Niko Kleiner
121
Voted
ICWS
2004
IEEE
15 years 5 months ago
Dynamic Data Integration Using Web Services
We address the problem of large-scale data integration, where the data sources are unknown at design time, are from autonomous organisations, and may evolve. Experiments are descr...
Fujun Zhu, Mark Turner, Ioannis A. Kotsiopoulos, K...
141
Voted
DMDW
2000
151views Management» more  DMDW 2000»
15 years 5 months ago
Automated dimensionality reduction of data warehouses
A data warehouse is designed to consolidate and maintain all attributes that are relevant for the analysis processes. Due to the rapid increase in the size of the modern operation...
Mark Last, Oded Maimon
HT
2009
ACM
15 years 1 months ago
Retrieving broken web links using an approach based on contextual information
In this short note we present a recommendation system for automatic retrieval of broken Web links using an approach based on contextual information. We extract information from th...
Juan Martinez-Romo, Lourdes Araujo