3573 search results - page 56 / 715 » Reasoning about Codata |
82
Voted
CONCUR
2001
Springer
15 years 3 months ago
2001
Springer
The paper gives an assessment of security for Mobile Ambients, with specific focus on mandatory access control (MAC) policies in multilevel security systems. The first part of th...
FM
2001
Springer
15 years 3 months ago
2001
Springer
CSFW
2000
IEEE
15 years 3 months ago
2000
IEEE
In this paper we develop a language of mobile agents called uPLAN for describing the capabilities of active (programmable) networks. We use a formal semantics for uPLAN to demonst...
109
click to vote
AISC
2000
Springer
15 years 3 months ago
2000
Springer
There are many problems with the simplification of elementary functions, particularly over the complex plane. Systems tend to make “howlers” or not to simplify enough. In thi...
HPCA
1999
IEEE
15 years 3 months ago
1999
IEEE
Cache coherence protocols of current shared-memory multiprocessors are difficult to verify. Our previous work proposed an extension of Lamport's logical clocks for showing th...