Sciweavers

974 search results - page 128 / 195
» Semantic Announcement Sharing
Sort
View
ATVA
2004
Springer
135views Hardware» more  ATVA 2004»
14 years 3 months ago
Using Block-Local Atomicity to Detect Stale-Value Concurrency Errors
Data races do not cover all kinds of concurrency errors. This paper presents a data-ow-based technique to nd stale-value errors, which are not found by low-level and high-level d...
Cyrille Artho, Klaus Havelund, Armin Biere
SEMWEB
2004
Springer
14 years 3 months ago
HCOME: A Tool-Supported Methodology for Engineering Living Ontologies
Abstract. The fast emergent areas of the Semantic Web and knowledge management push researchers to new efforts concerning ontology engineering. The development of ontologies must b...
Konstantinos Kotis, George A. Vouros, Jerón...
UIST
2003
ACM
14 years 3 months ago
A molecular architecture for creating advanced GUIs
This paper presents a new GUI architecture for creating advanced interfaces. This model is based on a limited set of general principles that improve flexibility and provide capabi...
Eric Lecolinet
GI
2009
Springer
14 years 2 months ago
Constraint Functional Multicore Programming
: In this paper we present the concurrent constraint functional programming CCFL and an abstract machine for the evaluation of CCFL programs in a multicore environment. The source ...
Petra Hofstedt, Florian Lorenzen
HPCC
2009
Springer
14 years 2 months ago
C2Cfs: A Collective Caching Architecture for Distributed File Access
—In this paper we present C2Cfs - a decentralized collective caching architecture for distributed filesystems. C2Cfs diverges from the traditional client-server model and advoca...
Andrey Ermolinskiy, Renu Tewari