Searching for "Runtime Certification." – sorted by Relevance.
-
Runtime Certification ⋆
- , April 2008. Proceedings to be published by Springer LNCS. Runtime Certification ⋆ John Rushby Computer
- Add To MetaCart
-
Runtime Certification?
- , Hungary, April 2008. Proceedings to be published by Springer LNCS. Runtime Certification? John Rushby
- Add To MetaCart
-
Deductive Runtime Certification
- Deductive runtime certification Konstantine Arkoudas 1 Martin Rinard 2 Computer Science
- Cited by 10 (8 self) – Add To MetaCart
-
unknown title
- used to support certification at design time are instead used for synthesis and monitoring at runtime
- Add To MetaCart
-
Information Flow Control In A Distributed Object-Oriented System With Statically Bound Object Variables
- procedures and creates the necessary information structures to allow for efficient run-time certification
- Cited by 13 (2 self) – Add To MetaCart
-
Abstract Answer Validation for Abstract Data Types
- Run-time certificates can be used to efficiently check the correctness of computational results
- Add To MetaCart
-
A Least Fixed Point Approach To Inter-Procedural Information Flow Control
- structure for efficient run-time certification. The run-time algorithm completes the certification
- Cited by 8 (1 self) – Add To MetaCart
-
An authentication framework for hierarchical ad hoc sensor networks
- to do so by periodically issuing runtime certificates (cert) for each access point and sensor node
- Cited by 21 (0 self) – Add To MetaCart
-
Certificate Based Authorization Simulation System
- stored in the two files are dynamically loaded to form its runtime certificates. Figure 6 shows
- Add To MetaCart

