1134 search results - page 214 / 227 » Distributed Proving in Access-Control Systems |
94
Voted
TRIDENTCOM
2008
IEEE
15 years 6 months ago
2008
IEEE
Research on TCP performance relies either on simulation programs, which run on a single machine, or on the use of real testbeds, where different machines represent different netwo...
122
Voted
ACMICEC
2006
ACM
15 years 5 months ago
2006
ACM
This paper formalizes the semantics of trust and studies the transitivity of trust. On the Web, people and software agents have to interact with “strangers”. This makes trust ...
ESA
2005
Springer
15 years 5 months ago
2005
Springer
Sensor nodes are very weak computers that get distributed at random on a surface. Once deployed, they must wake up and form a radio network. Sensor network bootstrapping research t...
VLDB
2005
ACM
15 years 5 months ago
2005
ACM
Consider a content distribution network consisting of a set of sources, repositories and clients where the sources and the repositories cooperate with each other for efficient di...
JELIA
2004
Springer
15 years 5 months ago
2004
Springer
Logical formalisation of agent behaviour is desirable, not only in order to provide a clear semantics of agent-based systems, but also to provide the foundation for sophisticated r...