5562 search results - page 817 / 1113 » Implementing Parallel Cell-DEVS |
135
click to vote
ATAL
2005
Springer
15 years 11 months ago
2005
Springer
The paper presents an agent-oriented programming language SLABSp. It provides caste and scenario mechanisms in a coherent way to support the caste-centric methodology of agent-ori...
169
click to vote
CAV
2005
Springer
15 years 11 months ago
2005
Springer
Statistical methods to model check stochastic systems have been, thus far, developed only for a sublogic of continuous stochastic logic (CSL) that does not have steady state operat...
167
click to vote
DCOSS
2005
Springer
15 years 11 months ago
2005
Springer
Recent research has shown that using a mobile element to collect and carry data mechanically from a sensor network has many advantages over static multihop routing. We have an imp...
160
click to vote
EDCC
2005
Springer
15 years 11 months ago
2005
Springer
This paper presents an implementation of several consistent protocols at the abstract device level and their performance comparison. We have performed experiments using three NAS P...
184
click to vote
EUROPAR
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Understanding and controlling program behavior is a challenging objective for the design of advanced compilers and critical system development. In this paper, we propose ...