3888 search results - page 167 / 778 » Change-Driven Model Transformations |
149
click to vote
SNPD
2008
15 years 6 months ago
2008
A complete diagnostic Bayesian network model cannot be achieved and the result of the constructed model cannot be guaranteed unless correct and reliable data are provided to the m...
128
click to vote
WSC
2007
15 years 7 months ago
2007
We discuss design issues related to the transformation of a mature Agent-Based Model (ABM) for computational epidemiology into a “grid-aware” version. EpiSims is a distributed...
143
click to vote
DAM
2008
15 years 5 months ago
2008
Packet reordering is an important property of network traffic that should be captured by analytical models of the Transmission Control Protocol (TCP). We study a combinatorial pro...
130
Voted
FAC
2006
15 years 5 months ago
2006
Hoare and He's unifying theories of programming (UTP) is a model of alphabetised relations expressed as predicates; it supports development in several programming paradigms. T...
147
click to vote
DAC
1997
ACM
15 years 9 months ago
1997
ACM
A methodology for architecture exploration of look-up table based decoders is presented. For the degree of parallel processing a trade-off can be made by exploring system level an...