7992 search results - page 222 / 1599 » Communication Abstractions for Distributed Systems |
CHI
2011
ACM
13 years 2 months ago
2011
ACM
The study of creativity has received significant attention over the past century, with a recent increase in interest in collaborative, distributed creativity. We posit that creati...
IPSN
2010
Springer
14 years 5 months ago
2010
Springer
Event detection is a major issue for applications of wireless sensor networks. In order to detect an event, a sensor network has to identify which application-specific incident h...
ACSAC
2009
IEEE
14 years 2 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...
ISCIS
2004
Springer
14 years 4 months ago
2004
Springer
Abstract. Achieving higher levels of dependability is a goal in any software project, therefore strategies for software reliability improvement are very attractive. This work intro...
LPAR
2004
Springer
14 years 4 months ago
2004
Springer
Abstract. To produce a program guaranteed to satisfy a given specification one can synthesize it from a formal constructive proof that a computation satisfying that specification...