1999 search results - page 174 / 400 » Dependently Typed Grammars |
175
click to vote
SRDS
2006
IEEE
16 years 13 days ago
2006
IEEE
We present and evaluate a generic approach to the repair of overlay networks which identifies general principles of overlay repair and embodies these as a reusable service. At th...
168
click to vote
ML
2006
ACM
16 years 12 days ago
2006
ACM
We present an extension to Standard ML, called SMLSC, to support separate compilation. The system gives meaning to individual program fragments, called units. Units may depend on ...
190
click to vote
POPL
2000
ACM
15 years 10 months ago
2000
ACM
Various code certification systems allow the certification and static verification of important safety properties such as memory and control-flow safety. These systems are valuabl...
149
click to vote
ICEIS
2007
IEEE
15 years 8 months ago
2007
IEEE
The increasing dependence upon Information systems in the last few decades by businesses has resulted in concerns regarding auditing. IS auditing has changed from auditing “arou...
166
click to vote
CCCG
2007
15 years 7 months ago
2007
Let S be a set system of convex sets in Rd . Helly’s theorem states that if all sets in S have empty intersection, then there is a subset S′ ⊂ S of size d+1 which also has e...