Sciweavers

29046 search results - page 359 / 5810
» Computable Models
Sort
View
ICCS
2003
Springer
15 years 10 months ago
Visual Modeler for Grid Modeling and Simulation (GridSim) Toolkit
Abstract. The Grid Modeling and Simulation (GridSim) toolkit provides a comprehensive facility for simulation of application scheduling in different Grid computing environments. H...
Anthony Sulistio, Chee Shin Yeo, Rajkumar Buyya
GIS
2008
ACM
16 years 5 months ago
Computing isochrones in multi-modal, schedule-based transport networks
Isochrones are defined as the set of all points from which a specific point of interest is reachable within a given time span. This demo paper presents a solution to compute isoch...
Veronika Bauer, Johann Gamper, Roberto Loperfido, ...
HASE
2007
IEEE
15 years 11 months ago
Advances in Quantum Computing Fault Tolerance and Testing
We study recent developments in quantum computing (QC) testing and fault tolerance (FT) techniques and discuss several attempts to formalize quantum logic fault models. We illustr...
David Y. Feinstein, V. S. S. Nair, Mitchell A. Tho...
ISIPTA
2005
IEEE
130views Mathematics» more  ISIPTA 2005»
15 years 10 months ago
Computing Lower and Upper Expectations under Epistemic Independence
This papers investigates the computation of lower/upper expectations that must cohere with a collection of probabilistic assessments and a collection of judgements of epistemic in...
Cassio Polpo de Campos, Fabio Gagliardi Cozman
IUI
2004
ACM
15 years 10 months ago
Computer algebra in interface design research
Tools to design, analyse and evaluate user interfaces can be used in user interface design research and in interface modelling research. This demonstration shows two working syste...
Harold W. Thimbleby, Jeremy Gow