1398 search results - page 36 / 280 » Ensuring Properties of Interaction Systems |
133
click to vote
RV
2010
Springer
15 years 10 days ago
2010
Springer
This tutorial deals with runtime enforcement which is an extension of runtime verification aiming to circumvent misbehaviors of systems. After an historical overview of previous a...
106
click to vote
GROUP
2003
ACM
15 years 7 months ago
2003
ACM
Reconciliating divergent data is an important issue in concurrent engineering, mobile computing and software configuration management. Currently, a lot of synchronizers or merge ...
110
click to vote
DSN
2002
IEEE
15 years 7 months ago
2002
IEEE
Organisations increasingly use the Internet to offer their own services and to utilise the services of others. This naturally leads to information sharing across organisational bo...
209
click to vote
POPL
2007
ACM
16 years 2 months ago
2007
ACM
In recent years we have seen great progress made in the area of automatic source-level static analysis tools. However, most of today's program verification tools are limited ...
105
click to vote
HAPTICS
2007
IEEE
15 years 8 months ago
2007
IEEE
We present a new approach for evaluating a protein’s simulated trajectory via time-based haptic feedback. Molecular-scale trajectories are highly dynamic and thus pose new deman...