Sciweavers

2006 search results - page 300 / 402
» Testing with Respect to Concerns
Sort
View
EPEW
2005
Springer
14 years 2 months ago
Verifying the Conformance of Web Services to Global Interaction Protocols: A First Step
Abstract. Global choreographies define the rules that peers should respect in their interaction, with the aim of guaranteeing interoperability. act choreography can be seen as a p...
Matteo Baldoni, Cristina Baroglio, Alberto Martell...
GPCE
2005
Springer
14 years 2 months ago
Statically Safe Program Generation with SafeGen
Abstract. SafeGen is a meta-programming language for writing statically safe generators of Java programs. If a program generator written in SafeGen passes the checks of the SafeGen...
Shan Shan Huang, David Zook, Yannis Smaragdakis
IJCNLP
2005
Springer
14 years 2 months ago
Web-Based Terminology Translation Mining
Mining terminology translation from a large amount of Web data can be applied in many fields such as reading/writing assistant, machine translation and cross-language information r...
Gaolin Fang, Hao Yu, Fumihito Nishino
IWANN
2005
Springer
14 years 2 months ago
Vision-Based Walking Parameter Estimation for Biped Locomotion Imitation
Abstract. This paper proposes a new vision-based system that can extract walking parameters from human demonstration. The system uses only a non-calibrated USB webcam connected to ...
Juan Pedro Bandera Rubio, Changjiu Zhou, Francisco...
MICAI
2005
Springer
14 years 2 months ago
Analysis of Performance of Fuzzy Logic-Based Production Scheduling by Simulation
Abstract. In this paper, a new fuzzy logic-based approach to production scheduling in the presence of uncertain disruptions is presented. The approach is applied to a real-life pro...
Alejandra Duenas, Dobrila Petrovic, Sanja Petrovic