Sciweavers

8719 search results - page 60 / 1744
» A Categorical Approach to Simulations
Sort
View
CN
2007
95views more  CN 2007»
15 years 1 months ago
Sampling large Internet topologies for simulation purposes
In this paper, we develop methods to ‘‘sample’’ a small realistic graph from a large Internet topology. Despite recent activity, modeling and generation of realistic graph...
Vaishnavi Krishnamurthy, Michalis Faloutsos, Marek...
EKAW
2004
Springer
15 years 6 months ago
A Hybrid Algorithm for Alignment of Concept Hierarchies
Hierarchical categorization is a powerful and convenient method so that it is commonly used in various areas, such as ontologies. Although each hierarchy is useful, there are probl...
Ryutaro Ichise, Masahiro Hamasaki, Hideaki Takeda
WSC
2001
15 years 2 months ago
Practical approaches for validating a construction simulation
This paper presents three methods implemented in the activity-based construction modeling and simulation (ABC) system for validating a construction simulation. The first method re...
Jonathan Jingsheng Shi
AC
2003
Springer
15 years 6 months ago
A Mathematical Semantics for Architectural Connectors
Abstract. A mathematical semantics is proposed for the notion of architectural connector, in the style defined by Allen and Garlan, that builds on Goguen’s categorical approach t...
José Luiz Fiadeiro, Antónia Lopes, M...
PADS
2000
ACM
15 years 5 months ago
An approach for federating parallel simulators
Steve L. Ferenci, Kalyan S. Perumalla, Richard M. ...