6978 search results - page 367 / 1396 » On Proofs in System P |
227
click to vote
EGCDMAS
2004
15 years 8 months ago
2004
Security policies are abstract descriptions of how a system should behave to be secure. They typically express what is obligatory, permitted, or forbidden in the system. When the s...
206
click to vote
IANDC
2008
15 years 6 months ago
2008
The problem of computing periods in words, or finite sequences of symbols from a finite alphabet, has important applications in several areas including data compression, string se...
148
click to vote
CDC
2010
IEEE
15 years 1 months ago
2010
IEEE
In this paper, we present a general algebraic framework for analysing decentralized control systems. We consider systems defined by linear fractional functions over a commutative ...
184
click to vote
AINA
2006
IEEE
16 years 27 days ago
2006
IEEE
With the huge number of information sources available on the Internet, Peer-to-Peer (P2P) systems offer a novel kind of system architecture providing the large-scale community wit...
189
click to vote
ISMIR
2004
Springer
16 years 6 days ago
2004
Springer
Despite the immense potential of Peer-to-Peer (P2P) networks in facilitating collaborative applications, they have become largely known as a free haven for pirated music swapping....