1398 search results - page 163 / 280 » Ensuring Properties of Interaction Systems |
189
click to vote
CDC
2010
IEEE
15 years 1 months ago
2010
IEEE
This paper presents an adaptive haptic control for a one degree-of-freedom surgical device. The control addresses the problem of hitting a solid object too hard in the presence of ...
140
click to vote
TGC
2007
Springer
16 years 15 days ago
2007
Springer
Secure information flow analysis aims to prevent programs from leaking their H (high) inputs to their L (low) outputs. A major challenge in this area is to relax the standard noni...
171
click to vote
ATAL
2009
Springer
16 years 29 days ago
2009
Springer
Trust is a crucial basis for interactions among parties in large, open systems. Yet, the scale and dynamism of such systems make it infeasible for each party to have a direct basi...
144
click to vote
SEAA
2008
IEEE
16 years 23 days ago
2008
IEEE
There is a growing interest for techniques and tools facilitating the testing of mobile systems. The movement of nodes is one of the relevant factors of context change in ubiquito...
165
click to vote
COMPSAC
2005
IEEE
16 years 13 hour ago
2005
IEEE
Two main issues need to be covered when dealing with the dependability of component-based systems: quality assurance of reusable software components and quality assurance of the a...