674 search results - page 13 / 135 » Toward Self-Stabilizing Operating Systems |
128
Voted
HIS
2008
15 years 4 months ago
2008
XCS is a learning classifier system that combines a reinforcement learning scheme with evolutionary algorithms to evolve rule sets on-line by means of the interaction with an envi...
148
Voted
EMSOFT
2011
Springer
14 years 2 months ago
2011
Springer
As system integration becomes an increasingly important challenge for complex real-time systems, there has been a significant demand for supporting real-time systems in virtualiz...
115
Voted
JIRS
2010
15 years 1 months ago
2010
Civilian applications for UAVs will bring these vehicles into low flying areas cluttered with obstacles such as building, trees, power lines, and more importantly civilians. The h...
172
Voted
USS
2010
15 years 12 days ago
2010
Web applications are the most common way to make services and data available on the Internet. Unfortunately, with the increase in the number and complexity of these applications, ...
104
click to vote
CEEMAS
2003
Springer
15 years 7 months ago
2003
Springer
We introduce a formal language for multi-agent systems based on new modal operators. The modal operators express concurrency at the syntactic level. Operators containing quantifie...