Sciweavers

2635 search results - page 138 / 527
» Refactoring Process Models in Large Process Repositories
Sort
View
WWW
2005
ACM
15 years 10 months ago
A semantic-link-based infrastructure for web service discovery in P2P networks
An important issue arising from P2P applications is how to accurately and efficiently retrieve the required Web services from large-scale repositories. This paper resolves this is...
Jie Liu, Hai Zhuge
165
Voted
EGOV
2008
Springer
15 years 6 months ago
Paving the Way to eGovernment Transformation: Interoperability Registry Infrastructure Development
During the last decades eGovernment has been a vivid, dynamic research and development area. As services are being transformed, electronic documents and web services appear every d...
Aikaterini-Maria Sourouni, Fenareti Lampathaki, Sp...
IFM
2010
Springer
152views Formal Methods» more  IFM 2010»
15 years 2 months ago
Specification and Verification of Model Transformations Using UML-RSDS
In this paper we describe techniques for the specification and verification of model transformations using a combination of UML and formal methods. The use of UML 2 notations to s...
Kevin Lano, Shekoufeh Kolahdouz Rahimi
ITC
2003
IEEE
158views Hardware» more  ITC 2003»
15 years 9 months ago
Extraction Error Diagnosis and Correction in High-Performance Designs
Test model generation is crucial in the test generation process of a high-performance design targeted for large volume production. A key process in test model generation requires ...
Yu-Shen Yang, Jiang Brandon Liu, Paul J. Thadikara...
155
Voted
EWSPT
1998
Springer
15 years 8 months ago
On Project Management Scheduling where Human Resource is a Critical Variable
Most traditional approaches to process modelling do not provide an analysis of critical human resources and their impact(s) on project performance and output quality. However, the ...
Valentina Plekhanova