1334 search results - page 199 / 267 » Information: A hermeneutic perspective |
TARK
2007
Springer
15 years 4 months ago
2007
Springer
Public announcement logic is an extension of multi-agent epistemic logic with dynamic operators to model the informational consequences of announcements to the entire group of age...
CBMS
2006
IEEE
15 years 3 months ago
2006
IEEE
The growing availability of high throughput measurement devices in the operating room makes possible the collection of a huge amount of data about the state of the patient and the...
ICDCS
2006
IEEE
15 years 3 months ago
2006
IEEE
In this paper, we explore a new form of dissemination called Flash Dissemination that involves dissemination of fixed, rich information to a large number of recipients in as shor...
ICDCS
2006
IEEE
15 years 3 months ago
2006
IEEE
Internet distance prediction gives pair-wise latency information with limited measurements. Recent studies have revealed that the quality of existing prediction mechanisms from th...
KBSE
2006
IEEE
15 years 3 months ago
2006
IEEE
Program checking technology is now a mature technology, but is not yet used on a large scale. We identify one cause of this gap in the decoupling of checking tools from the everyd...