7209 search results - page 1226 / 1442 » Software Engineering for Multi-Agent Systems |
FOSSACS
2009
Springer
14 years 5 months ago
2009
Springer
Abstract. We define and study an automata model of concurrent recursive programs. An automaton consists of a finite number of pushdown systems running in parallel and communicati...
ISORC
2009
IEEE
14 years 5 months ago
2009
IEEE
There is increasing convergence between the fields of parallel and embedded computing. The demand for more functionality in embedded devices means that complex multicore architec...
FSTTCS
2009
Springer
14 years 5 months ago
2009
Springer
ABSTRACT. Message Ferrying is a mobility assisted technique for working around the disconnectedness and sparsity of Mobile ad hoc networks. One of the important questions which ari...
ISORC
2008
IEEE
14 years 5 months ago
2008
IEEE
Knowing the program timing characteristics is fundamental to the successful design and execution of real-time systems. A critical timing measure is the worst-case execution time (...
COMSWARE
2007
IEEE
14 years 5 months ago
2007
IEEE
— 802.11 usage has exploded and broken all barriers for which it was originally proposed. This has resulted in research for its non-legacy usages. Such usages require study of pa...