1054 search results - page 10 / 211 » From a Verified Kernel towards Verified Systems |
ETFA
2008
IEEE
13 years 9 months ago
2008
IEEE
Distributed real-time applications implement distributed applications with timeliness requirements. Such systems require a deterministic communication medium with bounded communic...
ACSD
2009
IEEE
14 years 2 months ago
2009
IEEE
In a service-oriented architecture (SOA), a service broker assigns a previously published service (stored in a service registry) to a service requester. It is desirable for the co...
ICAIL
2007
ACM
13 years 11 months ago
2007
ACM
Laws set requirements that force organizations to assess the security and privacy of their IT systems and impose the adoption of the implementation of minimal precautionary securi...
ACMSE
2007
ACM
13 years 11 months ago
2007
ACM
Modularity, hierarchy, and interaction locality are general approaches to reducing the complexity of any large system. A widely used principle in achieving these goals in designin...
JAR
2006
13 years 7 months ago
2006
We describe an approach to verifying bit-level pipelined machine models using a combination of deductive reasoning and decision procedures. While theorem proving systems such as AC...