4693 search results - page 683 / 939 » Verifying Hybrid Systems |
161
click to vote
NSPW
2004
ACM
15 years 11 months ago
2004
ACM
Over the past years, the computing industry has started various initiatives announced to increase computer security by means of new hardware architectures. The most notable effort...
178
Voted
TACAS
1998
Springer
15 years 10 months ago
1998
Springer
In this paper, we report on an application of the validation and veri cation tool kit Uppaal in the design and analysis of a prototype gear controller, carried out in a joint proje...
171
click to vote
TISSEC
2010
15 years 27 days ago
2010
The SELinux mandatory access control (MAC) policy has recently added a multi-level security (MLS) model which is able to express a fine granularity of control over a subject'...
172
click to vote
COOPIS
2002
IEEE
15 years 11 months ago
2002
IEEE
The proportion of complex distributed real-time embedded (DRE) systems made up of commercial-off-the-shelf (COTS) hardware and software is increasing significantly in response to...
163
click to vote
DAC
2006
ACM
16 years 7 months ago
2006
ACM
In this paper, a Triangularization Based Structure preserving (TBS) model order reduction is proposed to verify power integrity of on-chip structured power grid. The power grid is...