2173 search results - page 32 / 435 » The Evolution of the DARWIN System |
ATAL
2010
Springer
13 years 8 months ago
2010
Springer
In Open Multi-Agent Systems (OMAS), deciding with whom to interact is a particularly difficult task for an agent, as repeated interactions with the same agents are scarce, and rep...
IWPC
2009
IEEE
14 years 2 months ago
2009
IEEE
Architecture defines the components of a system and their dependencies. The knowledge about how the architecture is intended to be implemented is essential to keep the system str...
ICSE
2007
IEEE-ACM
14 years 7 months ago
2007
IEEE-ACM
The Verifying Compiler (VC) project is a core component of the Dependable Systems Evolution Grand Challenge. The VC offers the promise of automatically proving that a program or c...
GECCO
2010
Springer
14 years 12 days ago
2010
Springer
Technology scaling has offered advantages to embedded systems, such as increased performance, more available memory and reduced energy consumption. However, scaling also brings a...
ICEIS
2007
IEEE
14 years 1 months ago
2007
IEEE
