2135 search results - page 288 / 427 » An Operational Semantics for JavaScript |
111
Voted
FOSSACS
2004
Springer
15 years 8 months ago
2004
Springer
Labelled Markov processes (LMPs) are automata whose transitions are given by probability distributions. In this paper we present a ‘universal’ LMP as the spectrum of a commutat...
173
Voted
ITRUST
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Past evidence has shown that generic approaches to recommender systems based upon collaborative filtering tend to poorly scale. Moreover, their fitness for scenarios su...
132
Voted
KES
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Ontology-based modelling is becoming increasingly important in the design of complex knowledge management applications. However, many problems related to large-scale onto...
126
Voted
EDOC
2003
IEEE
15 years 8 months ago
2003
IEEE
The MOF Query, View and Transformation RFP, issued by OMG will result in a key enabling technology for modeldriven development of large distributed systems. We have designed a tra...
96
Voted
FDL
2003
IEEE
15 years 8 months ago
2003
IEEE
This contribution proposes a synchronization technique for solvers able to handle analogue extensions to SystemC, for modelling of general, mixed-mode systems with digital and non...