5243 search results - page 67 / 1049 » Reasoning About Strategies |
107
click to vote
CSFW
2000
IEEE
15 years 5 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...
123
Voted
AISC
2000
Springer
15 years 4 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 4 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...
TOOLS
1999
IEEE
15 years 4 months ago
1999
IEEE
65
Voted
AGP
1996
IEEE
15 years 4 months ago
1996
IEEE
