Sciweavers

7049 search results - page 60 / 1410
» Data Abstraction for CSP-OZ
Sort
View
NLDB
2011
Springer
13 years 1 months ago
Querying Linked Data Using Semantic Relatedness: A Vocabulary Independent Approach
Abstract. Linked Data brings the promise of incorporating a new dimension to the Web where the availability of Web-scale data can determine a paradigmatic transformation of the Web...
André Freitas, João Gabriel Oliveira...
PADL
2010
Springer
14 years 7 months ago
Skeleton Composition Using Remote Data
Abstract. Skeletons simplify parallel programming by providing general patterns of parallel computations. When several skeletons are used inside the same program, skeleton composit...
Mischa Dieterle, Thomas Horstmeyer, Rita Loogen
IFL
2007
Springer
120views Formal Methods» more  IFL 2007»
14 years 4 months ago
Lazy Contract Checking for Immutable Data Structures
Existing contract checkers for data structures force programmers to choose between poor alternatives. Contracts are either built into the functions that construct the data structur...
Robert Bruce Findler, Shu-yu Guo, Anne Rogers
CTW
2002
91views more  CTW 2002»
13 years 10 months ago
Can We Ever Escape from Data Overload? A Cognitive Systems Diagnosis
ive. This characterization leads to model-based abstractions and representation design techniques as potential solutions. Many of the existing approaches to coping with data overlo...
David D. Woods, Emily S. Patterson, Emilie M. Roth
INFOCOM
2011
IEEE
13 years 2 months ago
User-centric data dissemination in disruption tolerant networks
Abstract—Data dissemination is useful for many applications of Disruption Tolerant Networks (DTNs). Current data dissemination schemes are generally network-centric ignoring user...
Wei Gao, Guohong Cao