4693 search results - page 460 / 939 » Verifying Hybrid Systems |
152
click to vote
ISCAS
2005
IEEE
16 years 20 days ago
2005
IEEE
Abstract- This paper describes the implementation of an areaefficient and protected user memory-mapped network interface, the pbuf (Parcel Buffer), for the Data IntensiVe Architect...
203
click to vote
SIGSOFT
2003
ACM
16 years 10 days ago
2003
ACM
Model checking is an automated technique for verifying that a system satisfies a set of required properties. Such properties are typically expressed as temporal logic formulas, in...
219
click to vote
ICALP
2003
Springer
16 years 9 days ago
2003
Springer
Many protocols are designed to operate correctly even in the case where the underlying communication medium is faulty. To capture the behaviour of such protocols, lossy channel sy...
205
click to vote
NDSS
2002
IEEE
16 years 3 hour ago
2002
IEEE
In this paper we present PAMINA (Privilege Administration and Management INfrAstructure), a privilege management system using authorization certificates. Our system supports distr...
192
click to vote
HASE
1999
IEEE
15 years 11 months ago
1999
IEEE
The state of the art in verifying the real-time requirements of applications developed using general processing graph models relies on simulation or off-line scheduling. We extend...