9067 search results - page 275 / 1814 » Adaptive Model Checking |
167
click to vote
IUI
2009
ACM
16 years 3 months ago
2009
ACM
Adaptive software systems are intended to modify their appearance, performance or functionality to the needs and preferences of different users. A key bottleneck in building effec...
152
click to vote
ICRA
1995
IEEE
15 years 10 months ago
1995
IEEE
This paper reports preliminary experiments with a provably correct model-based adaptive robot control algorithm for simultaneous position and force trajectory tracking of a robot ...
186
Voted
ENTCS
2008
15 years 6 months ago
2008
This paper presents an approach which supports verification and model-based adaptation of software compod services implemented using Windows Workflow Foundation (WF). First, we pr...
193
click to vote
VMCAI
2010
Springer
16 years 3 months ago
2010
Springer
This paper investigates relative precision and optimality of analyses for concurrent probabilistic systems. Aiming at the problem at the heart of probabilistic model checking ? com...