5200 search results - page 832 / 1040 » Symbolic models for control systems |
206
click to vote
CAI
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. This paper discusses schema evolution in software engineering databases. After a study of existing approaches, we show that these approaches do not satisfy software engin...
172
click to vote
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
—Space exploitation will require efficient techniques for manipulating passive objects on orbit. This work presents a manipulation concept that utilizes both the on-off thruste...
196
click to vote
RTAS
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract—Some real-time kernels (such as a recent realtime version of Linux) permit to execute interrupt handlers in dedicated threads, to control their interference on realtime ...
165
click to vote
SIGDIAL
2010
15 years 5 months ago
2010
This paper presents an agenda-based user simulator which has been extended to be trainable on real data with the aim of more closely modelling the complex rational behaviour exhib...
187
click to vote
SIGSOFT
2010
ACM
15 years 5 months ago
2010
ACM
Software is a critical enabling technology in nearly all aspects of climate change, from the computational models used by climate scientists to improve our understanding of the im...