817 search results - page 118 / 164 » On 2-factors with k components |
100
click to vote
ASSETS
2007
ACM
15 years 1 months ago
2007
ACM
We address the practical problem of automating the process of translating figures from mathematics, science, and engineering textbooks to a tactile form suitable for blind student...
ESORICS
2007
Springer
15 years 1 months ago
2007
Springer
We present a new technique for generating a formal proof that an access request satisfies accesscontrol policy, for use in logic-based access-control frameworks. Our approach is t...
102
click to vote
FCT
2007
Springer
15 years 1 months ago
2007
Springer
Abstract. Message sequence charts are an attractive formalism for specifying communicating systems. One way to test such a system is to substitute a component by a test process and...
SOUPS
2010
ACM
15 years 1 months ago
2010
ACM
Policies which address security and privacy are pervasive parts of both technical and social systems, and technology to enable both organizations and individuals to create and man...
GI
2009
Springer
15 years 1 months ago
2009
Springer
: Large traffic network systems require handling huge amounts of data, often distributed over a large geographical region in space and time. Centralised processing is not then the ...