Sciweavers

3482 search results - page 548 / 697
» In Praise of Numerical Computation
Sort
View
SG
2005
Springer
14 years 2 months ago
From Artefact Representation to Information Visualisation: Genesis of Informative Modelling
Abstract. In the field of the architectural heritage, the representation of artefacts, particularly for communication purposes, has benefited from the development of computer-based...
Iwona Dudek, Jean-Yves Blaise
DSOM
2005
Springer
14 years 2 months ago
SLA Design from a Business Perspective
Abstract. A method is proposed whereby values for Service Level Objectives (SLOs) of an SLA can be chosen to reduce the sum IT infrastructure cost plus business financial loss. Bu...
Jacques Philippe Sauvé, Filipe Marques, Ant...
ASIASIM
2004
Springer
14 years 2 months ago
Intuitive Control of Dynamic Simulation Using Improved Implicit Constraint Enforcement
Geometric constraints are imperative components of many dynamic simulation systems to effectively control the behavior of simulated objects. In this paper we present an improved fi...
Min Hong, Samuel W. J. Welch, Min-Hyung Choi
CAV
2004
Springer
202views Hardware» more  CAV 2004»
14 years 2 months ago
Statistical Model Checking of Black-Box Probabilistic Systems
Abstract. We propose a new statistical approach to analyzing stochastic systems against specifications given in a sublogic of continuous stochastic logic (CSL). Unlike past numeri...
Koushik Sen, Mahesh Viswanathan, Gul Agha
GD
2004
Springer
14 years 2 months ago
Drawing Power Law Graphs
It has been noted that many realistic graphs have a power law degree distribution and exhibit the small world phenomenon. We present drawing methods influenced by recent developm...
Reid Andersen, Fan R. K. Chung, Lincoln Lu