Sciweavers

367 search results - page 52 / 74
» Industrial validation of COVAMOF
Sort
View
3DIM
2005
IEEE
15 years 11 months ago
Automatic Burr Detection on Surfaces of Revolution Based on Adaptive 3D Scanning
This paper describes how to automatically extract the presence and location of geometrical irregularities on a surface of revolution. To this end a partial 3D scan of the workpiec...
Kasper Claes, Thomas P. Koninckx, Herman Bruyninck...
EMSOFT
2005
Springer
15 years 11 months ago
A structural approach to quasi-static schedulability analysis of communicating concurrent programs
We describe a system as a set of communicating concurrent programs. Quasi-static scheduling compiles the concurrent programs into a sequential one. It uses a Petri net as an inter...
Cong Liu, Alex Kondratyev, Yosinori Watanabe, Albe...
IEAAIE
2005
Springer
15 years 11 months ago
A Holistic Approach to Test-Driven Model Checking
Abstract. Testing is the most common validation method in the software industry. It entails the execution of the software system in the real environment. Nevertheless, testing is a...
Fevzi Belli, Baris Güldali
OTM
2005
Springer
15 years 11 months ago
Semantic Transformation of Web Services
Abstract. Web services have become the predominant paradigm for the development of distributed software systems. Web services provide the means to modularize software in a way that...
David Bell, Sergio de Cesare, Mark Lycett
TES
2005
Springer
15 years 11 months ago
Ad-UDDI: An Active and Distributed Service Registry
In SOA (Service Oriented Architecture), web service providers use service registries to publish services and requestors use registries to find them. The major current service regis...
Zongxia Du, Jinpeng Huai, Yunhao Liu