15635 search results - page 2733 / 3127 » Modelling and Design of VAML |
194
Voted
CADE
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. While many higher-order interactive theorem provers include a choice operator, higher-order automated theorem provers currently do not. As a step towards supporting autom...
164
click to vote
CDC
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract-- Formation control experiments are performed using two robots, each equipped with a camera. When both robots are fully informed of the reference velocity, a decentralized...
141
click to vote
ERCIMDL
2010
Springer
15 years 8 months ago
2010
Springer
In this paper we present the digital library assistant (DiLiA). The system aims at augmenting the search in digital libraries in several dimensions. In the project advanced informa...
148
Voted
EUROPAR
2010
Springer
15 years 8 months ago
2010
Springer
The bag-of-tasks application model, albeit simple, arises in many application domains and has received a lot of attention in the scheduling literature. Previous works propose eithe...
184
click to vote
DAGSTUHL
2009
15 years 8 months ago
2009
An increasingly important concern for modern systems design is how best to incorporate self-adaptation into systems so as to improve their ability to dynamically respond to faults,...