8658 search results - page 293 / 1732 » Models of Command and Control |
151
click to vote
APSEC
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper presents a model-based approach to requirements engineering for reactive systems; we use an elevator controller as case study. We identify and justify two key propertie...
190
click to vote
ICRA
2007
IEEE
16 years 29 days ago
2007
IEEE
— Recent advances in machine learning and adaptive motor control have enabled efficient techniques for online learning of stationary plant dynamics and it’s use for robust pre...
156
click to vote
LCTRTS
2004
Springer
16 years 1 days ago
2004
Springer
Java Card technology simplifies the development of smart card applications by providing a high-level programming language similar to Java. However, the master-slave programming m...
172
click to vote
SAFECOMP
1999
Springer
15 years 11 months ago
1999
Springer
We present an ongoing experience aimed at introducing statistical process control techniques to one crucial test phase, namely Function Test, of a real world software development p...
161
click to vote
DBSEC
2006
15 years 8 months ago
2006
Traditional access control models are often found to be inadequate for digital libraries. This is because the user population for digital libraries is very dynamic and not complete...