Searching for "Runtime Certification." – sorted by Relevance.
9 documents found, showing 1 through 9.
-
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
Showing 1 through 9.
