1098 search results - page 115 / 220 » System safety as an emergent property in composite systems |
123
click to vote
ICRA
2005
IEEE
15 years 7 months ago
2005
IEEE
Abstract— We propose a control framework for the bilateral teleoperation between a single master robot and multiple cooperative slave robots with communication-delay in the maste...
112
click to vote
FM
1999
Springer
15 years 5 months ago
1999
Springer
Support for system speci cation in terms of modelling and simulation environments has become a common practice in safety-critical applications. Also, a current trend is the automat...
146
click to vote
LICS
1993
IEEE
15 years 5 months ago
1993
IEEE
We consider the veri cation of a particular class of in nite-state systems, namely systems consisting of nite-state processes that communicate via unbounded lossy FIFO channels. T...
134
click to vote
BIRTHDAY
2003
Springer
15 years 5 months ago
2003
Springer
Aspects are intended to add needed functionality to a system or to treat concerns of the system by augmenting or changing the existing code in a manner that cross-cuts the usual c...
127
click to vote
JFP
2008
15 years 1 months ago
2008
This paper shows how type effect systems can be combined with model-checking techniques to produce powerful, automatically verifiable program logics for higher order programs. The...