Sciweavers

7380 search results - page 529 / 1476
» Engineering Software Intensive Systems
Sort
View
TMRA
2005
Springer
15 years 11 months ago
TM/XML - Topic Maps Fragments in XML
This paper describes TM/XML, an XML syntax for Topic Maps that is very close to the natural, or colloquial, XML representation of the information in the topic map. It can be used t...
Lars Marius Garshol, Dmitry Bogachev
IUI
2000
ACM
15 years 10 months ago
Virtual reviewers for collaborative exploration of movie reviews
We propose a collaborative exploration system that helps users to explore recommendations from various viewpoints. Given ratings and reviews on movies from reviewers, the system p...
Jun'ichi Tatemura
WOSP
2000
ACM
15 years 10 months ago
Analytic model of Web servers in distributed environments
In this paper, we illustrate a model-based approach to Web server performance evaluation, and present an analytic queueing model of Web servers in distributed environments. Perfor...
Paul Reeser, Rema Hariharan
171
Voted
WADT
1998
Springer
15 years 10 months ago
Parallel Admissible Graph Rewriting
We investigate the rewrite relation over graphs induced by constructor-based weakly orthogonal graph rewriting systems. It is well known that this relation is not confluent in gene...
Rachid Echahed, Jean-Christophe Janodet
FSTTCS
1993
Springer
15 years 10 months ago
Higher-Order and Semantic Unification
Abstract. We provide a complete system of transformation rules for semantic unification with respect to theories defined by convergent rewrite systems. We show that this standard u...
Nachum Dershowitz, Subrata Mitra