4693 search results - page 866 / 939 » Verifying Hybrid Systems |
111
Voted
SACMAT
2005
ACM
15 years 6 months ago
2005
ACM
It has been recognized for some time that software alone does not provide an adequate foundation for building a high-assurance trusted platform. The emergence of industry-standard...
108
Voted
OOPSLA
2005
Springer
15 years 6 months ago
2005
Springer
This paper describes a type system that is capable of expressing and enforcing immutability constraints. The speonstraint expressed is that the abstract state of the object to whi...
108
click to vote
TACAS
2005
Springer
15 years 6 months ago
2005
Springer
Transformations using retiming and resynthesis operations are the most important and practical (if not the only) techniques used in optimizing synchronous hardware systems. Althoug...
110
Voted
SIGADA
2004
Springer
15 years 6 months ago
2004
Springer
Existing security models require that information of a given security level be prevented from “leaking” into lower-security information. High-security applications must be dem...
135
click to vote
EMSOFT
2006
Springer
15 years 4 months ago
2006
Springer
Distributed real-time systems require a predictable and verifiable mechanism to control the communication medium. Current real-time communication protocols are typically independe...