Sciweavers

17450 search results - page 420 / 3490
» Numerical Methods with Applications
Sort
View
135
Voted
SASO
2010
IEEE
15 years 2 months ago
Experience Report in Developing and Applying a Method for Self-Organisation to Agile Manufacturing
The design and implementation of distributed, self-organising and self-adaptive systems are challenging. In this article we report on our experience gained during the development o...
Giovanna Di Marzo Serugendo, Regina Frei
119
Voted
ICFEM
2009
Springer
15 years 2 months ago
The VSE Refinement Method in Hets
We present the integration of refinement method of VSE verification tool, successfully used in industrial applications, in the Heterogeneous Tool Set HETS. The connection is done v...
Mihai Codescu, Bruno Langenstein, Christian Maeder...
AAAI
2006
15 years 6 months ago
Tensor Embedding Methods
Over the past few years, some embedding methods have been proposed for feature extraction and dimensionality reduction in various machine learning and pattern classification tasks...
Guang Dai, Dit-Yan Yeung
CSEE
2000
Springer
15 years 9 months ago
Technology Transfer Issues for Formal Methods of Software Specification
Accurate and complete requirements specifications are crucial for the design and implementation of high-quality software. Unfortunately, the articulation and verification of softw...
Ken Abernethy, John C. Kelly, Ann E. Kelley Sobel,...
134
Voted
INFSOF
2002
147views more  INFSOF 2002»
15 years 4 months ago
On the efficiency of domain-based COTS product selection method
Use of commercial-off-the-shelf (COTS) products is becoming a popular software development method. Current methods of selecting COTS products involve using the intuition of softwa...
Karl R. P. H. Leung, Hareton K. N. Leung