1833 search results - page 149 / 367 » Mechanized Verification with Sharing |
127
click to vote
ATAL
2001
Springer
15 years 9 months ago
2001
Springer
We present a simple model of distributed multi-agent multi-issued contract negotiation for open systems where interactions are competitive and information is private and not shared...
155
click to vote
MSS
1999
IEEE
15 years 9 months ago
1999
IEEE
Device Locks are mechanisms used in distributed environments to facilitate mutual exclusion of shared resources. They can further be used to maintain coherence of data that is cac...
154
click to vote
ETRICS
2006
15 years 8 months ago
2006
Abstract. Practical computer (in)security is largely driven by the existence of and knowledge about vulnerabilities, which can be exploited to breach security mechanisms. Although ...
126
click to vote
CONEXT
2008
ACM
15 years 6 months ago
2008
ACM
We describe Trellis, a platform for hosting virtual networks on shared commodity hardware. Trellis allows each virtual network to define its own topology, control protocols, and f...
139
click to vote
ICONIP
1998
15 years 6 months ago
1998
Learning transfer is the improvement in performance on one task having learnt a related task. That the degree of transfer is signi cantly greater in humans than other primates and...