2131 search results - page 175 / 427 » Multi-Agent System Development: Design, Runtime, and Analysi... |
148
click to vote
ICPPW
2009
IEEE
16 years 4 days ago
2009
IEEE
—The increasing attention on global scheduling algorithms for identical multiprocessor platforms produced different, independently developed, schedulability tests. However, the e...
173
click to vote
ESORICS
2010
Springer
15 years 5 months ago
2010
Springer
Abstract We propose an approach to certify the information flow security of multi-threaded programs independently from the scheduling algorithm. A scheduler-independent verificatio...
156
click to vote
CORR
2008
Springer
15 years 5 months ago
2008
Springer
er presents an abstraction of Hoare logic to traced symmetric monoidal categories, a eral framework for the theory of systems. Our abstraction is based on a traced monoidal functor...
136
click to vote
ICC
2009
IEEE
16 years 7 days ago
2009
IEEE
—A widespread methodology for performance analysis in the field of communication systems engineering is network simulation. While ns-2 has established itself as virtually the st...
184
click to vote
EMSOFT
2003
Springer
15 years 10 months ago
2003
Springer
An important bottleneck in model-based design of embedded systems is the cost of constructing models. This cost can be significantly decreased by increasing the reuse of existing m...