9186 search results - page 1380 / 1838 » A Module System for Scheme |
157
click to vote
ACNS
2003
Springer
15 years 9 months ago
2003
Springer
In this paper, we first propose a novel Public License Infrastructure (PLI) that uses cryptographic threshold secret sharing schemes to provide decentralized public license service...
158
click to vote
DBISP2P
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. We are witnessing a dramatic increase in the use of datacentric distributed systems such as global grid infrastructures, sensor networks, network monitoring, and various ...
133
click to vote
ICSM
2002
IEEE
15 years 9 months ago
2002
IEEE
Testing for software security is a lengthy, complex and costly process. Currently, security testing is done using penetration analysis and formal verification of security kernels....
152
click to vote
ISSS
2002
IEEE
15 years 9 months ago
2002
IEEE
Static timing analysis of embedded software is important for systems with hard real-time constraints. To accurately estimate time bounds, it is essential to model the underlying m...
157
click to vote
LICS
2002
IEEE
15 years 9 months ago
2002
IEEE
Proof-Carrying Code (PCC) is a general framework for verifying the safety properties of machine-language programs. PCC proofs are usually written in a logic extended with language...