290 search results - page 30 / 58 » Comparing and managing multiple versions of slide presentati... |
QEST
2007
IEEE
14 years 3 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 ...
CAISE
2006
Springer
14 years 14 days 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
14 years 1 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...
CCGRID
2004
IEEE
14 years 15 days 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
14 years 2 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 ...