2700 search results - page 501 / 540 » The role of abstraction in software engineering |
161
click to vote
FOSSACS
2009
Springer
16 years 27 days ago
2009
Springer
Abstract. In this work, we introduce the class of Interrupt Timed Automata (ITA), which are well suited to the description of multi-task systems with interruptions in a single proc...
155
click to vote
FOSSACS
2009
Springer
16 years 27 days ago
2009
Springer
Abstract. Trees can be conveniently compressed with linear straight-line contextfree tree grammars. Such grammars generalize straight-line context-free string grammars which are wi...
158
click to vote
FOSSACS
2009
Springer
16 years 27 days ago
2009
Springer
Abstract. We introduce a generic framework for hybrid logics, i.e. modal logics additionally featuring nominals and satisfaction operators, thus providing the necessary facilities ...
150
click to vote
TACAS
2009
Springer
16 years 27 days ago
2009
Springer
We describe the design and implementation of an automatic invariant generator for imperative programs. While automatic invariant generation through constraint solving has been exte...
173
click to vote
RECONFIG
2009
IEEE
16 years 25 days ago
2009
IEEE
Abstract. Protecting an implementation against Side Channel Analysis for Reverse Engineering (SCARE) attacks is a great challenge and we address this challenge by presenting a fir...