5409 search results - page 690 / 1082 » Basic Observables for Processes |
141
click to vote
CE
2007
15 years 6 months ago
2007
The paper reports a small-scale, long-term pilot project designed to foster strategic and reasoning abilities in young primary school pupils by engaging them in a number of comput...
172
click to vote
IANDC
2006
15 years 6 months ago
2006
We introduce a new notion of bisimulation, called event bisimulation on labelled Markov processes (LMPs) and compare it with the, now standard, notion of probabilistic bisimulatio...
156
click to vote
IJHPCA
2006
15 years 6 months ago
2006
Systems software for clusters typically derives from a multiplicity of sources: the kernel itself, software associated with a particular distribution, site-specific purchased or o...
160
click to vote
IJMSO
2006
15 years 6 months ago
2006
Recent expectations regarding the new generation of Web strongly depend on the success of Semantic Web technology. Resource Description Framework (RDF) is a basis for an explicit a...
147
click to vote
COR
2007
15 years 6 months ago
2007
This work is concerned with the efficient design of a reverse logistics network using an extended version of models currently found in the literature. Those traditional, basic mo...