3645 search results - page 397 / 729 » Implementing mapping composition |
191
click to vote
TACAS
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. Our main objective is to combine partial-order methods with verification techniques for infinite-state systems in order to obtain efficient verification algorithms fo...
204
click to vote
AICT
2006
IEEE
16 years 26 days ago
2006
IEEE
Web Services are becoming the prominent paradigm for distributed computing and electronic businesses. This makes natural the extension of the concepts at the base of the workflow ...
162
click to vote
DSD
2006
IEEE
16 years 26 days ago
2006
IEEE
System Level Design (SLD) is widely seen as a solution for bridging the gap between chip complexity and design productivity of Systems on Chip (SoC). SLD relieves the designer fro...
182
click to vote
HICSS
2006
IEEE
16 years 25 days ago
2006
IEEE
The increasing availability of web services necessitates efficient discovery and execution framework. The use of xml at various levels of web services standards poses challenges t...
191
click to vote
ISCC
2006
IEEE
16 years 24 days ago
2006
IEEE
Genetic Algorithms are very powerful search methods that are used in different optimization problems. Parallel versions of genetic algorithms are easily implemented and usually in...