Sciweavers

4397 search results - page 560 / 880
» Relational Algebra Operations
Sort
View
SOSE
2008
IEEE
15 years 10 months ago
Model-Checking of Web Services Choreography
Abstract Web services choreography describes the global model of service interactions among a set of participants. In order to achieve a common business goal, the protocols of inte...
Hongli Yang, Xiangpeng Zhao, Chao Cai, Zongyan Qiu
VTC
2008
IEEE
15 years 10 months ago
Techno-Economical Viability of Deployment Strategies for Cellular-Relaying Networks
— The ability of an operator to respond to changes in demand by incrementally deploying additional network infrastructure is essential. This paper1 presents a method for evaluati...
Bogdan Timus, Johan Hultell, Mats Nilson
WCRE
2008
IEEE
15 years 10 months ago
A Business Process Explorer: Recovering Business Processes from Business Applications
A business process contains a set of logically related tasks executed to fulfill business goals. Business applications enable organizations to automatically perform their daily op...
Jin Guo, Ying Zou
CEC
2007
IEEE
15 years 10 months ago
A simple genetic algorithm for music generation by means of algorithmic information theory
— Recent large scale experiments have shown that the Normalized Information Distance, an algorithmic information measure, is among the best similarity metrics for melody classiï¬...
Manuel Alfonseca, Manuel Cebrián, Alfonso O...
DSN
2007
IEEE
15 years 10 months ago
On the Selection of Error Model(s) for OS Robustness Evaluation
The choice of error model used for robustness evaluation of Operating Systems (OSs) influences the evaluation run time, implementation complexity, as well as the evaluation preci...
Andréas Johansson, Neeraj Suri, Brendan Mur...