1914 search results - page 291 / 383 » Verification by Abstract Interpretation |
115
click to vote
IJSI
2008
15 years 20 days ago
2008
In this paper, we demonstrate the use of qualitative spatial modelling as the foundation for the conceptual representation of route instructions, to enable robust humanrobot intera...
72
Voted
ISI
2006
Springer
15 years 19 days ago
2006
Springer
Security of civil aviation has become a major concern in recent years, leading to a variety of protective measures related to airport and aircraft security to be established by re...
82
Voted
SIAMAM
2008
15 years 17 days ago
2008
Abstract. We develop a partial equilibrium model to investigate the problem of optimal liquidation over a finite or infinite time horizon for an investor with large holdings in a r...
119
Voted
RTS
2006
15 years 17 days ago
2006
Abstract The increasing complexity of heterogeneous systems-on-chip, SoC, and distributed embedded systems makes system optimization and exploration a challenging task. Ideally, a ...
106
click to vote
SAC
2006
ACM
15 years 17 days ago
2006
ACM
Model transformations are frequently applied in business process modeling to bridge between languages on a different abstraction and formality. In this paper, we define a transfor...