183 search results - page 21 / 37 » On Mechanical Control Systems with Nonholonomic Constraints ... |
159
click to vote
ICEIS
2009
IEEE
16 years 22 days 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...
153
click to vote
HYBRID
2001
Springer
15 years 10 months 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...
155
click to vote
ILP
2005
Springer
15 years 11 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...
176
click to vote
EDCC
2010
Springer
15 years 11 months 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 ...
149
click to vote
SACMAT
2004
ACM
15 years 11 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 ...