Sciweavers

1168 search results - page 146 / 234
» Management in Distributed Systems: A Semi-formal Approach
Sort
View
EDOC
2000
IEEE
15 years 6 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...
GCC
2005
Springer
15 years 7 months ago
Research on Semantic-Based Web Services Registry Federation
Meta modeling is an effective approach to implement interoperability among distributed and heterogeneous information sources on Web. MMFI (Framework for Metamodel Interoperability)...
Bing Li, Fei He, Wudong Liu, Keqing He, Jin Liu
GECCO
2007
Springer
166views Optimization» more  GECCO 2007»
15 years 7 months ago
Scalable estimation-of-distribution program evolution
I present a new estimation-of-distribution approach to program evolution where distributions are not estimated over the entire space of programs. Rather, a novel representationbui...
Moshe Looks
109
Voted
SSDBM
2005
IEEE
132views Database» more  SSDBM 2005»
15 years 7 months ago
Co-Scheduling of Computation and Data on Computer Clusters
Scientific investigations have to deal with rapidly growing amounts of data from simulations and experiments. During data analysis, scientists typically want to extract subsets o...
Alexandru Romosan, Doron Rotem, Arie Shoshani, Der...
COLCOM
2007
IEEE
15 years 3 months ago
Maintaining constraints expressed as formulas in collaborative systems
—Constraints allow users to declare relationships among objects and let the constraint systems maintain and satisfy these relationships. Formulas have been adopted to express con...
Kai Lin, David Chen, R. Geoff Dromey, Chengzheng S...