1774 search results - page 284 / 355 » The Networked Semantic Desktop |
144
click to vote
ICFP
2010
ACM
15 years 5 months ago
2010
ACM
Bidirectional transformations provide a novel mechanism for synchronizing and maintaining the consistency of information between input and output. Despite many promising results o...
138
Voted
JFP
2008
15 years 4 months ago
2008
Most programming languages adopt static binding, but for distributed programming an exclusive reliance on static binding is too restrictive: dynamic binding is required in various...
132
click to vote
ECOI
2010
15 years 3 months ago
2010
We describe a semantic data validation tool that is capable of observing incoming real-time sensor data and performing reasoning against a set of rules specific to the scientific d...
215
click to vote
POPL
2012
ACM
13 years 12 months ago
2012
ACM
It is becoming increasingly important for applications to protect sensitive data. With current techniques, the programmer bears the burden of ensuring that the application’s beh...
140
click to vote
OSDI
2002
ACM
16 years 4 months ago
2002
ACM
Ivy is a multi-user read/write peer-to-peer file system. Ivy has no centralized or dedicated components, and it provides useful integrity properties without requiring users to ful...