Sciweavers

3387 search results - page 58 / 678
» Automating the Metamodeling Process
Sort
View
COMPSAC
2007
IEEE
15 years 10 months ago
Automated Testing EJB Components Based on Algebraic Specifications
Algebraic testing is an automated software testing method based on algebraic formal specifications. It has the advantages of highly automated testing process and independence of t...
Liang Kong, Hong Zhu, Bin Zhou
GI
2004
Springer
15 years 9 months ago
Automating the Development of Web Service Compositions Using Templates
: The development of Web Service compositions has not yet been automated. Web Service-based process definitions can be created automatically using Web Service compositions template...
Dimka Karastoyanova, Alejandro P. Buchmann
MLDM
2009
Springer
15 years 8 months ago
Assisting Data Mining through Automated Planning
The induction of knowledge from a data set relies in the execution of multiple data mining actions: to apply filters to clean and select the data, to train different algorithms (...
Fernando Fernández, Daniel Borrajo, Susana ...
FM
2009
Springer
127views Formal Methods» more  FM 2009»
15 years 10 months ago
Automated Property Verification for Large Scale B Models
Michael Leuschel, Jérôme Falampin, Fa...
ICASSP
2008
IEEE
15 years 10 months ago
Fast automated stopping-time and edge-strength estimation for anisotropic diffusion
Anisotropic diffusion (ATD) is an edge-oriented, scale-space based, and iterative image-smoothing process. Two main challenges of ATD are how to automatically stop the iterative p...
Eva Rifkah, Aishy Amer