Sciweavers

110 search results - page 13 / 22
» A Hierarchy of Communication Models for Message Sequence Cha...
Sort
View
SCESM
2006
ACM
262views Algorithms» more  SCESM 2006»
15 years 5 months ago
Scenario-driven modeling and validation of requirements models
Requirements models for large systems typically cannot be developed in a single step, but evolve in a sequence of iterations. We have developed such an iterative modeling process ...
Christian Seybold, Silvio Meier, Martin Glinz
106
Voted
TCBB
2011
14 years 6 months ago
Information-Theoretic Model of Evolution over Protein Communication Channel
—In this paper, we propose a communication model of evolution and investigate its information-theoretic bounds. The process of evolution is modeled as the retransmission of infor...
Liuling Gong, Nidhal Bouaynaya, Dan Schonfeld
IPPS
2003
IEEE
15 years 5 months ago
Quantifying Locality Effect in Data Access Delay: Memory logP
The application of hardware-parameterized models to distributed systems can result in omission of key bottlenecks such as the full cost of inter-node communication in a shared mem...
Kirk W. Cameron, Xian-He Sun
FSTTCS
2005
Springer
15 years 5 months ago
Causal Closure for MSC Languages
Abstract. Message sequence charts (MSCs) are commonly used to specify interactions between agents in communicating systems. Their visual nature makes them attractive for describing...
Bharat Adsul, Madhavan Mukund, K. Narayan Kumar, V...
HCW
1999
IEEE
15 years 4 months ago
Simulation of Task Graph Systems in Heterogeneous Computing Environments
This paper describes a simulation tool for the analysis of complex jobs described in the form of task graphs. The simulation procedure relies on the PN-based topological represent...
Noé Lopez-Benitez, Ja-Young Hyon