437 search results - page 38 / 88 » A Complete Temporal and Spatial Logic for Distributed System... |
131
click to vote
CLIMA
2010
15 years 5 months ago
2010
We present an algorithm for finding uniform strategies in multi-agent systems with incomplete information. The algorithm finds all maximal uniform strategies for agents with incomp...
129
click to vote
JCS
2006
15 years 3 months ago
2006
Abstract-- SPKI/SDSI is a standard for issuing authorization and name certificates. SPKI/SDSI can be used to implement a Trust Management System, where the policy for resource acce...
126
Voted
HICSS
1998
IEEE
15 years 8 months ago
1998
IEEE
Because a hypermedia document is more complex than conventional text, it requires preparation with respect to two key aspects. First, the author begins to develop a "vision&q...
125
click to vote
CD
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We describe a methodology for developing and deploying distributed Java applications using a reflective middleware system called RAFDA. We illustrate the methodology by d...
126
click to vote
LISA
2007
15 years 6 months ago
2007
Network patterns are based on generic algorithms that execute on tree-based overlays. A set of such patterns has been developed at KTH to support distributed monitoring in network...