6660 search results - page 917 / 1332 » Highly-Available Application Integration |
223
click to vote
LOPSTR
2005
Springer
16 years 10 days ago
2005
Springer
We propose an extension of functional logic languages that allows the definition of operations with patterns containing other defined operation symbols. Such “function patterns...
217
click to vote
UML
2005
Springer
16 years 9 days ago
2005
Springer
We present in this paper a rigorous and automated based approach for the behavioral validation of control software systems. This approach relies on metamodeling, model-transformati...
213
click to vote
IUI
2004
ACM
16 years 8 days ago
2004
ACM
In this paper, we describe a new approach to the creation of virtual environments, which uses qualitative physics to implement object behaviour. We adopted Qualitative Process The...
210
click to vote
CIKM
2004
Springer
16 years 7 days ago
2004
Springer
In the recent years, the Web has been rapidly “deepened” with the prevalence of databases online. On this deep Web, many sources are structured by providing structured query i...
247
click to vote
CP
2004
Springer
16 years 7 days ago
2004
Springer
The success of stochastic algorithms is often due to their ability to effectively amplify the performance of search heuristics. This is certainly the case with stochastic sampling ...