Sciweavers

3844 search results - page 362 / 769
» Modular interpreted systems
Sort
View
SOFTVIS
2006
ACM
16 years 22 days ago
Visualizing live software systems in 3D
The analysis of the runtime behavior of a software system yields vast amounts of information, making accurate interpretations difficult. Filtering or compression techniques are o...
Orla Greevy, Michele Lanza, Christoph Wysseier
HT
2005
ACM
16 years 10 days ago
Evaluation of adaptive hypermedia systems' conversion
Conversion between different adaptive hypermedia systems has barely been proposed, yet alone tested in realistic settings. This paper presents the evaluation of the interoperabili...
Alexandra I. Cristea, Helen Ashman, Craig D. Stewa...
ICALP
2004
Springer
16 years 4 days ago
Linear and Branching Metrics for Quantitative Transition Systems
Abstract. We extend the basic system relations of trace inclusion, trace equivalence, simulation, and bisimulation to a quantitative setting in which propositions are interpreted n...
Luca de Alfaro, Marco Faella, Mariëlle Stoeli...
IFIP
2001
Springer
15 years 11 months ago
Systemic Functional Hypertexts (SFHT):
Abstract: On the background of rising Intranet applications the automatic generation of adaptable, context-sensitive hypertexts becomes more and more important [El-Beltagy et al., ...
Alexander Mehler, Rodney J. Clarke
143
Voted
ISIPTA
1999
IEEE
108views Mathematics» more  ISIPTA 1999»
15 years 11 months ago
Coherent Models for Discrete Possibilistic Systems
We consider discrete possibilistic systems for which the available information is given by one-step transition possibilities and initial possibilities. These systems can be repres...
Hugo J. Janssen, Gert De Cooman, Etienne E. Kerre