183 search results - page 21 / 37 » On Mechanical Control Systems with Nonholonomic Constraints ... |
ICEIS
2009
IEEE
14 years 2 months ago
2009
IEEE
One of the most difficult tasks in the design of information systems is how to control the behaviour of the back-end storage engine, usually a relational database. As the load on t...
HYBRID
2001
Springer
14 years 4 days ago
2001
Springer
Abstract. The assume-guarantee paradigm is a powerful divide-andconquer mechanism for decomposing a veri cation task about a system into subtasks about the individual components of...
ILP
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Reasoning plays a central role in intelligent systems that operate in complex situations that involve time constraints. In this paper, we present the Adaptive Logic Inter...
EDCC
2010
Springer
14 years 14 days ago
2010
Springer
—Assurance Based Development (ABD) is a novel approach to the synergistic construction of critical software systems and their assurance arguments. In ABD, the need for assurance ...
SACMAT
2004
ACM
14 years 1 months ago
2004
ACM
Access control in enterprises is a key research area in the realm of Computer Security because of the unique needs of the target enterprise. As the enterprise typically has large ...