Sciweavers

1923 search results - page 156 / 385
» Modeling Complexity in Secure Distributed Computing
Sort
View
EDOC
2000
IEEE
15 years 2 months ago
Model Checking of Workflow Schemas
Practical experience indicates that the definition of realworld workflow applications is a complex and error-prone process. Existing workflow management systems provide the means,...
Christos T. Karamanolis, Dimitra Giannakopoulou, J...
PPSN
2010
Springer
14 years 8 months ago
Globally Induced Model Trees: An Evolutionary Approach
In the paper we propose a new evolutionary algorithm for induction of univariate regression trees that associate leaves with simple linear regression models. In contrast to typical...
Marcin Czajkowski, Marek Kretowski
ICPR
2008
IEEE
15 years 4 months ago
Multivariate Laplace Filter: A heavy-tailed model for target tracking
Video-based target tracking is a challenging task, because there always appears to be complex occlusion among the varying number of objects. Also, in practice, it is very common t...
Daojing Wang, Chao Zhang, Xuemin Zhao
IPPS
2010
IEEE
14 years 8 months ago
A general algorithm for detecting faults under the comparison diagnosis model
We develop a widely applicable algorithm to solve the fault diagnosis problem in certain distributed-memory multiprocessor systems in which there are a limited number of faulty pr...
Iain A. Stewart
SAC
2008
ACM
14 years 9 months ago
Collaborative software engineering on large-scale models: requirements and experience in ModelBus
This work presents an approach for realizing Model-Driven software engineering in the distributed and multi-developers context. It particularly focuses on the scalability problems...
Prawee Sriplakich, Xavier Blanc, Marie-Pierre Gerv...