1147 search results - page 15 / 230 » Termination in language-based systems |
FROCOS
2009
Springer
14 years 2 months ago
2009
Springer
CASES
2005
ACM
13 years 9 months ago
2005
ACM
POLICY
2004
Springer
14 years 25 days ago
2004
Springer
We study the specification of access control policy in large-scale distributed systems. Our work on real-world policies has shown that standard policy idioms such as role hierarc...
RTA
2004
Springer
14 years 25 days ago
2004
Springer
We describe the system AProVE, an automated prover to verify (innermost) termination of term rewrite systems (TRSs). For this system, we have developed and implemented efficient al...
ICC
2008
IEEE
14 years 1 months ago
2008
IEEE
—With the rapid expansion of satellite communication, an increasing number of unattended ground terminals are spreading out to serve local customers. And there is a great demand ...