5550 search results - page 314 / 1110 » Different Approaches to Proof Systems |
146
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
— This paper introduces a convenient framework based on passivity and Linear Matrix Inequalities (LMIs) for stability analysis and controller design for haptic systems involving ...
172
click to vote
FCCM
2008
IEEE
16 years 1 months ago
2008
IEEE
As FPGA-based systems including soft-processors become increasingly common we are motivated to better understand the best way to scale the performance of such systems. In this pap...
191
click to vote
AH
2008
Springer
16 years 1 months ago
2008
Springer
Abstract. This paper presents an approach to create adaptive web-based educative systems that can be automatically audited by means of standard web testing tools. The auditing tool...
179
click to vote
HICSS
2007
IEEE
16 years 1 months ago
2007
IEEE
Checkpointing is a commonly used approach to provide fault-tolerance and improve system dependability. However, using a constant and preconfigured checkpointing frequency may comp...
168
click to vote
IEEEARES
2007
IEEE
16 years 1 months ago
2007
IEEE
We present a pattern system for security requirements engineering, consisting of security problem frames and concretized security problem frames. These are special kinds of proble...