233 search results - page 29 / 47 » RPL2: A Language and Parallel Framework for Evolutionary Com... |
GRID
2007
Springer
14 years 2 months ago
2007
Springer
— Biomolecular simulations play a key role in the study of complex biological processes at microscopic levels in which macromolecules such as proteins are involved. The simulatio...
CONCUR
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. A prominent source of complexity in the verification of ad hoc network (AHN) protocols is the fact that the number of network topologies grows exponentially with the squ...
CONCUR
2003
Springer
14 years 1 months ago
2003
Springer
Abstract. We apply the theory of asynchronous automata to the synthesis problem of closed distributed systems. We use safe asynchronous automata as implementation model, and charac...
GCC
2003
Springer
14 years 1 months ago
2003
Springer
Common to Grid services, Web Services, software agents and software components is that they are independently built and provide services aimed for composition. A key issue is wheth...
COLING
2010
13 years 3 months ago
2010
We present a method for translating semantic relationships between languages where relationships are defined as pattern clusters. Given a pattern set which represents a semantic r...