500 search results - page 27 / 100 » Thread-Modular Abstraction Refinement |
125
click to vote
IIWAS
2004
14 years 11 months ago
2004
Abstract: To enable efficient access to multimedia content, the media data has to be augmented by semantic metadata and functionality. The semantic representation has to be integra...
80
Voted
IPPS
1998
IEEE
15 years 1 months ago
1998
IEEE
Parallel programming continues to be difficult and error-prone, whether starting from specifications or from an existing sequential program. This paper presents (1) a methodology f...
72
Voted
IPPS
1998
IEEE
15 years 1 months ago
1998
IEEE
Abstract. We address the problem of developing efficient cache coherence protocols implementing distributed shared memory (DSM) using message passing. A serious drawback of traditi...
DSOM
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. The goal of ontology-based management is to improve the manageability of network resources through the application of formal ontologies. Prior research work has studied t...
DSOM
2006
Springer
15 years 1 months ago
2006
Springer
This paper describes an approach for application specific conflict prevention based on model-driven refinement of policies prior to deployment. Central to the approach is an algori...