6355 search results - page 1096 / 1271 » From Logic to Games |
148
click to vote
ICOIN
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. In our previous work, we have proposed a new VPN architecture for enabling user-based multiply associated VPNs [1]. Almost all existing VPN technologies assume that users...
179
click to vote
IFIP
2004
Springer
15 years 12 months ago
2004
Springer
Ensuring correctness of software by formal methods is a very relevant and widely studied problem. Automatic veriļ¬cation of software using model checkers from the state space exp...
167
click to vote
ISCIS
2004
Springer
15 years 12 months ago
2004
Springer
Testing is a necessary, but costly process for user-centric quality control. Moreover, testing is not comprehensive enough to completely detect faults. Many formal methods have bee...
155
click to vote
ISMIR
2004
Springer
15 years 12 months ago
2004
Springer
This paper presents the principles of a new approach aimed at automatically discovering motivic patterns in monodies. It is shown that, for the results to agree with the listenerā...
179
click to vote
ISW
2004
Springer
15 years 12 months ago
2004
Springer
We present a model of access control which provides ļ¬ne-grained data-dependent control, can express permissions about permissions, can express delegation, and can describe syste...