69 search results - page 8 / 14 » Reactive Systems over Cospans |
ICWE
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. Rich Internet applications (RIAs) enable novel usage scenarios by overcoming the traditional paradigms of Web interaction. Conventional Web applications can be seen as re...
CONCUR
2010
Springer
13 years 9 months ago
2010
Springer
Abstract. Graph games of infinite length provide a natural model for open reactive systems: one player (Eve) represents the controller and the other player (Adam) represents the en...
ICDCS
2012
IEEE
11 years 10 months ago
2012
IEEE
Today’s largest High Performance Computing (HPC) systems exceed one Petaflops (1015 floating point operations per second) and exascale systems are projected within seven years...
ICRA
2007
IEEE
14 years 2 months ago
2007
IEEE
— In this paper, we investigate the operation of the Queue-formation structure (or Q-structure) in multi-robot teams with limited communications. Information flow is divided int...
CPHYSICS
2008
13 years 8 months ago
2008
The existence of supermassive black holes lurking in the centers of galaxies and of stellar binary systems containing a black hole with a few solar masses has been established bey...