1054 search results - page 44 / 211 » Translation Validation of System Abstractions |
180
click to vote
CAV
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. This paper presents a constraint-based technique for discovering a rich class of inductive invariants (boolean combinations of polynomial inequalities of bounded degree) ...
178
click to vote
FM
2009
Springer
15 years 3 months ago
2009
Springer
Abstract. We propose an approach to automatic verification of realtime systems against scenario-based requirements. A real-time system is modeled as a network of Timed Automata (TA...
163
click to vote
DSOM
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. End-to-end automated application design and deployment poses a significant technical challenge. With increasing scale and complexity of IT systems and the manual handling...
134
click to vote
MICCAI
2008
Springer
16 years 7 months ago
2008
Springer
Abstract. Beating heart intracardiac procedures promise significant benefits for patients, however, the fast motion of the heart poses serious challenges to surgeons. We present a ...
159
click to vote
INTERSENSE
2006
ACM
15 years 12 months ago
2006
ACM
— There is growing interest in the networked sensing community in the technique of macroprogramming, where the end-user can design a system using a high level description without...