263 search results - page 3 / 53 » User Controlled Sharing in a Variable Connected Distributed ... |
122
Voted
WECWIS
2009
IEEE
15 years 10 months ago
2009
IEEE
– Networked enterprises create virtual teams of distributed experts belonging to different enterprises where one user can be part of multiple teams; How to effectively control th...
133
Voted
VISSYM
2007
15 years 6 months ago
2007
We present TrustNeighborhoods, a security trust visualization for situational awareness on the Internet aimed at novice and intermediate users of a distributed file sharing system...
112
Voted
DATE
2010
IEEE
15 years 7 months ago
2010
IEEE
Abstract—Supporting Distributed Shared Memory (DSM) is essential for multi-core Network-on-Chips for the sake of reusing huge amount of legacy code and easy programmability. We p...
139
Voted
ATAL
2006
Springer
15 years 5 months ago
2006
Springer
The `Cooperation Logic of Propositional Control', cl-pc, of van der Hoek and Wooldridge is a logic for reasoning about the ability of agents and groups of agents to obtain a ...
173
Voted
FROCOS
2009
Springer
15 years 10 months ago
2009
Springer
Motivated by applications in software verification, we explore automated reasoning about the non-disjoint combination of theories of infinitely many finite structures, where the...