241 search results - page 31 / 49 » Lattices and Spherical Designs |
86
Voted
CSFW
2006
IEEE
15 years 8 months ago
2006
IEEE
This paper presents an embedded security sublanguage for enforcing information-flow policies in the standard Haskell programming language. The sublanguage provides useful informa...
100
Voted
TCS
2010
15 years 8 days ago
2010
This paper presents an embedded security sublanguage for enforcing informationflow policies in the standard Haskell programming language. The sublanguage provides useful informat...
148
Voted
AOSD
2009
ACM
14 years 11 months ago
2009
ACM
Traditional methods characterize a software product line's requirements using either functional or quality criteria. This appears to be inadequate to assess modularity, detec...
IFIP
2005
Springer
15 years 7 months ago
2005
Springer
We present a method for trust scenarios with more than one trustee, where sets of trustees are ordered in a relation of relative trustworthiness. We show how a priority structure i...
ISTCS
1993
Springer
15 years 6 months ago
1993
Springer
The design of fiducials for precise image registration is of major practical importance in computer vision, especially in automatic inspection applications. We analyze the subpix...