555 search results - page 1 / 111 » A Run-time System for SCOOP |
ECSA
2011
Springer
12 years 5 months ago
2011
Springer
Abstract. An important step in achieving robustness to run-time faults is the ability to detect and repair problems when they arise in a running system. Effective fault detection a...
OOPSLA
2004
Springer
13 years 10 months ago
2004
Springer
The main goal of this PhD thesis is to propose and implement a methodology for the construction of programs based on the SCOOP model, and for modular reasoning about their correct...
SASO
2008
IEEE
13 years 12 months ago
2008
IEEE
TIC
1998
Springer
13 years 9 months ago
1998
Springer
SLS
2009
Springer
14 years 5 hour ago
2009
Springer
Ant Colony Optimization (ACO) is inspired by the ability of ant colonies to find shortest paths between their nest and a food source. We analyze the running time of different ACO...