Sciweavers

1957 search results - page 227 / 392
» Measuring Similarity between Business Process Models
Sort
View
ISSTA
2006
ACM
16 years 11 days ago
Application of automated environment generation to commercial software
Model checking can be an effective technique for detecting concurrency-related errors in software systems. However, due to scalability issues, to handle industrial-strength softw...
Oksana Tkachuk, Sreeranga P. Rajan
TKDE
2011
176views more  TKDE 2011»
15 years 1 months ago
Experience Transfer for the Configuration Tuning in Large-Scale Computing Systems
—This paper proposes a new strategy, the experience transfer, to facilitate the management of large-scale computing systems. It deals with the utilization of management experienc...
Haifeng Chen, Wenxuan Zhang, Guofei Jiang
SEMWEB
2007
Springer
16 years 16 days ago
ASMOV Results for OAEI 2007
Numerous ontology alignment algorithms have appeared in the literature in recent years, but only a few make use of the semantics enclosed within the ontologies in order to improve ...
Yves R. Jean-Mary, Mansur R. Kabuka
JTAER
2008
118views more  JTAER 2008»
15 years 4 months ago
Service and Document Based Interoperability for European eCustoms Solutions
Innovative eCustoms solutions play an important role in the pan-European eGovernment strategy. The underlying premise is interoperability postulating a common understanding of pro...
Tobias Vogel, Alexander Schmidt, Alexander Lemm, H...
BMVC
2010
15 years 4 months ago
Cross View Gait Recognition Using Correlation Strength
Among various factors that can affect the performance of gait recognition, changes in viewpoint pose the biggest problem. In this work, we develop a novel approach to cross-view g...
Khalid Bashir, Tao Xiang, Shaogang Gong