1818 search results - page 278 / 364 » Granularity-Adaptive Proof Presentation |
107
Voted
ACSC
2005
IEEE
15 years 9 months ago
2005
IEEE
1 Service discovery protocols are used in distributed systems to locate services for clients. The services that are located as well as the clients requesting service are commonly a...
119
Voted
ITCC
2005
IEEE
15 years 9 months ago
2005
IEEE
Access control software must be based on a security policy model. Flaws in them may come from a lack of precision or some incoherences in the policy model or from inconsistencies ...
129
click to vote
ACISP
2005
Springer
15 years 9 months ago
2005
Springer
Anonymous credentials are an important privacy-enhancing technique that allows users to convince a service provider of their legitimacy for service accesses in an anonymous manner....
105
click to vote
ASM
2005
ASM
15 years 9 months ago
2005
ASM
AsmL is a novel executable specification language based on the theory of State Machines (ASMs). It represents one of the most powerful practical engines to write and execute ASMs...
121
Voted
CAV
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We address the issue of efficiently automating assume-guarantee reasoning for simulation conformance between finite state systems and specifications. We focus on a non...