30267 search results - page 5815 / 6054 » Process Modelling Languages |
213
Voted
FASE
2011
Springer
14 years 7 months ago
2011
Springer
Probabilistic verification techniques have been applied to the formal modelling and analysis of a wide range of systems, from communication protocols such as Bluetooth, to nanosca...
149
click to vote
FS
2011
14 years 7 months ago
2011
Harrison and Kreps showed in 1978 how the heterogeneity of investor beliefs can drive speculation, leading the price of an asset to exceed its intrinsic value. By focusing on an e...
170
click to vote
GECCO
2011
Springer
14 years 7 months ago
2011
Springer
We introduce the Spacing Memetic Algorithm (SMA), a formal evolutionary model devoted to a systematic control of spacing (distances) among individuals. SMA uses search space dista...
143
click to vote
ICSE
2011
IEEE-ACM
14 years 6 months ago
2011
IEEE-ACM
—Dynamic reconfiguration – the ability to hot swap a component, or to introduce a new component into the system – is essential to supporting evolutionary change in long-live ...
142
Voted
JNCA
2011
14 years 6 months ago
2011
In large-scale distributed virtual environments (DVEs), the NP-hard zone mapping problem concerns how to assign distinct zones of the virtual world to a number of distributed serv...