Sciweavers

11063 search results - page 51 / 2213
» On the existence of universal models
Sort
View
BROADNETS
2007
IEEE
14 years 2 months ago
Modeling and generating TCP application workloads
Abstract — In order to perform valid experiments, traffic generators used in network simulators and testbeds require up to date models of traffic as it exists on real network lin...
Félix Hernández-Campos, Kevin Jeffay...
CMOT
1999
105views more  CMOT 1999»
13 years 7 months ago
Friendship Networks Through Time: An Actor-Oriented Dynamic Statistical Network Model
We propose a class of actor-oriented statistical models for closed social networks in general, and friendship networks in particular. The models are random utility models develope...
Gerhard G. Van De Bunt, Marijtje A. J. Van Duijn, ...
KBS
2002
136views more  KBS 2002»
13 years 7 months ago
Diagnostic reasoning based on means-end models: experiences and future prospects
Multilevel Flow Models (MFM) are graphical models of goals and functions of technical systems. MFM was invented by Morten Lind at the Technical University of Denmark and several n...
Jan Eric Larsson
ATVA
2007
Springer
108views Hardware» more  ATVA 2007»
14 years 1 months ago
A New Approach to Bounded Model Checking for Branching Time Logics
Abstract. Bounded model checking (BMC) is a technique for overcoming the state explosion problem which has gained wide industrial acceptance. Bounded model checking is typically ap...
Rotem Oshman, Orna Grumberg
CSREAEEE
2008
79views Business» more  CSREAEEE 2008»
13 years 9 months ago
Implementing Standard Reference Models for e-learning Systems
- Active development in the field of e-Learning has led to multiple organizations and specifications that try to provide some interoperability to systems, tools and learning conten...
Juan-Manuel de Blas, Luis de Marcos, Roberto Barch...