3061 search results - page 395 / 613 » interactions 2010 |
145
click to vote
RAS
2010
15 years 5 months ago
2010
This paper presents a development methodology for complex robotic systems using the behavior-based control architecture iB2C (integrated Behavior-Based Control). It is shown how a...
161
click to vote
SPIN
2010
Springer
15 years 5 months ago
2010
Springer
When applying model checking to the design models of the embedded systems, it is necessary to model not only the behavior of the target system but also that of the environment inte...
170
click to vote
TACAS
2010
Springer
15 years 5 months ago
2010
Springer
We introduce JTorX, a tool for model-driven test derivation and execution, based on the ioco theory. This theory, originally presented in [12], has been refined in [13] with test-...
186
click to vote
TIP
2010
15 years 5 months ago
2010
Abstract—In this paper, we introduce a reconstruction framework that explicitly accounts for image geometry when defining the spatial interaction between pixels in the filterin...
182
click to vote
TKDE
2010
15 years 5 months ago
2010
—Open distributed environments such as the World Wide Web facilitate information sharing but provide limited support to the protection of sensitive information and resources. Tru...