4944 search results - page 724 / 989 » A Framework for Adaptive Visualization |
166
click to vote
ERCIMDL
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. This paper describes a digital library architecture and implementation that is configurable, extensible and dynamic in the way it presents content and in the services it ...
170
click to vote
FPL
2006
Springer
15 years 10 months ago
2006
Springer
This paper provides a realistic case study of using the previously introduced SIMPPL system architectural model, which fixes the physical interface and communication protocols bet...
191
click to vote
HPCN
2000
Springer
15 years 10 months ago
2000
Springer
The paper presents the implementation of a railway control system, as a means of assessing the potential of coordination languages to be used for modelling software architectures f...
245
click to vote
ISN
2000
Springer
15 years 10 months ago
2000
Springer
Network Control is currently carried out mainly by means of signalling protocols. Although these protocols are robust and facilitate standardisation, they present several drawback...
185
click to vote
TABLEAUX
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. In this paper we present a labelled proof method for computing nonmonotonic consequence relations in a conditional logic setting. The method is based on the usual possibl...