1791 search results - page 94 / 359 » Behavioral Operations |
143
click to vote
VL
2005
IEEE
15 years 8 months ago
2005
IEEE
Design by Contract (DbC) is widely acknowledged to be a powerful technique for creating reliable software. DbC allows developers to specify the behavior of an operation precisely ...
109
click to vote
ICRA
2009
IEEE
15 years 9 months ago
2009
IEEE
²In microsurgery, a surgeon often deals with anatomical structures of sizes that are close to the limit of the human hand accuracy. Robotic assistants can help to push beyond the ...
154
click to vote
IRI
2008
IEEE
15 years 9 months ago
2008
IEEE
—Supply chain [2], [6] is an important component of business operations. Understanding its stochastic behaviors is the key to risk analysis and performance evaluation in supply c...
118
click to vote
ICRA
2006
IEEE
15 years 9 months ago
2006
IEEE
– This paper presents the motion analysis, design and position control of a novel, low cost, sliding micro-robot, which is actuated by centripetal forces generated by robot mount...
146
click to vote
ACSD
2006
IEEE
15 years 9 months ago
2006
IEEE
In this paper, we show how to obtain causal semantics distinguishing ”earlier than” and ”not later than” causality between events from algebraic semantics of Petri nets. J...