Sciweavers

5149 search results - page 314 / 1030
» Timed Asynchronous Distributed Systems
Sort
View
128
Voted
ICWS
2009
IEEE
15 years 1 months ago
DIALOG: Distributed Auditing Logs
Service-oriented systems facilitate business workflows to span multiple organizations (e.g. by means of Web services). As a side effect, data may be more easily transferred over o...
Christoph Ringelstein, Steffen Staab
ATAL
2009
Springer
15 years 10 months ago
Tableau-based decision procedure for full coalitional multiagent temporal-epistemic logic of linear time
We develop a tableau-based decision procedure for the full coalitional multiagent temporal-epistemic logic of linear time CMATEL(CD+LT). It extends LTL with operators of common an...
Valentin Goranko, Dmitry Shkatov
WSCG
2003
163views more  WSCG 2003»
15 years 5 months ago
Virtual Dublin - A Framework for Real-Time Urban Simulation
We present a description of an urban simulation system work in progress. The goal is to create a large-scale immersive simulation of Dublin City that can then be used as a researc...
John Hamill, Carol O'Sullivan
FODO
1993
Springer
147views Algorithms» more  FODO 1993»
15 years 8 months ago
Design and Implementation of DDH: A Distributed Dynamic Hashing Algorithm
Abstract. DDH extends the idea of dynamic hashing algorithms to distributed systems. DDH spreads data across multiple servers in a network using a novel autonomous location discove...
Robert Devine
149
Voted
ICS
2007
Tsinghua U.
15 years 10 months ago
Locality of sampling and diversity in parallel system workloads
Observing the workload on a computer system during a short (but not too short) time interval may lead to distributions that are significantly different from those that would be o...
Dror G. Feitelson