10462 search results - page 235 / 2093 » Toward the |
149
click to vote
QSIC
2007
IEEE
16 years 27 days ago
2007
IEEE
In this paper we propose a metric for finite processes in a probabilistic extension of CSP. The kernel of the metric corresponds to trace equivalence and most of the operators in...
160
click to vote
QUATIC
2007
IEEE
16 years 27 days ago
2007
IEEE
The milestones of the history of software development are paradigm shifts. Each paradigm brought its own features and new ways of composing them to assemble software systems. Unde...
172
click to vote
ROBOCOMM
2007
IEEE
16 years 27 days ago
2007
IEEE
—Modeling and simulation can be powerful tools for analyzing multi-agent systems, such as networked robotic systems and sensor networks. In this paper, it is shown concretely how...
174
click to vote
ROBOCOMM
2007
IEEE
16 years 27 days ago
2007
IEEE
—A self-reconfigurable robot is a robotic device that can change its own shape. Self-reconfigurable robots are commonly built from multiple identical modules that can manipulat...
182
click to vote
RTSS
2007
IEEE
16 years 27 days ago
2007
IEEE
The integration phase of real-time COTS-based systems is often problematic because when multiple tasks run concurrently, the interference at the bus level between cache fetching a...