18924 search results - page 286 / 3785 » Conformance of Distributed Systems |
207
click to vote
FAST
2009
15 years 4 months ago
2009
We present a formalism for provenance in distributed systems based on the -calculus. Its main feature is that all data products are annotated with metadata representing their prov...
188
click to vote
CASES
2006
ACM
16 years 17 days ago
2006
ACM
Dynamic voltage scaling and sleep state control have been shown to be extremely effective in reducing energy consumption in CMOS circuits. Though plenty of research papers have st...
222
click to vote
ATAL
2005
Springer
16 years 4 days ago
2005
Springer
We describe a very large scale distributed robotic system, involving a team of over 100 robots, that has been successfully deployed in large, unknown indoor environments, over ext...
194
click to vote
ACSAC
2009
IEEE
15 years 10 months ago
2009
IEEE
Audit logs, providing information about the current and past states of systems, are one of the most important parts of modern computer systems. Providing security for audit logs on...
162
click to vote
ICDCS
2008
IEEE
16 years 1 months ago
2008
IEEE
Large-scale distributed systems provide an attractive scalable infrastructure for network applications. However, the loosely-coupled nature of this environment can make data acces...