290 search results - page 30 / 58 » Comparing and managing multiple versions of slide presentati... |
90
Voted
QEST
2007
IEEE
15 years 6 months ago
2007
IEEE
We give an overview of GRIP, a symmetry reduction tool for the probabilistic model checker PRISM, together with experimental results for a selection of example specifications. 1 ...
101
click to vote
CAISE
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. Though ontologies are widely used to solve some specific interoperability problems, there is no specific ontology defining what interoperability actually is, independentl...
PODC
1999
ACM
15 years 4 months ago
1999
ACM
The dynamically configurable distributed object (DCDO) model helps enable object evolution and facilitate the development of distributed objects from multiple independent implemen...
104
click to vote
CCGRID
2004
IEEE
15 years 3 months ago
2004
IEEE
We present a method for the efficient access to parts of remote files. The efficiency is achieved by using a file format independent compact pattern description, that allows to re...
ECTEL
2007
Springer
15 years 6 months ago
2007
Springer
The success of the e-learning paradigm observed in recent times created a growing demand for e-learning systems in universities and other educational institutions, that itself led ...