3885 search results - page 251 / 777 » Transformations for Write-All-with-Collision Model |
143
click to vote
WSC
2007
15 years 8 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...
167
click to vote
DAM
2008
15 years 6 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...
156
click to vote
FAC
2006
15 years 6 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...
184
Voted
ECMDAFA
2009
Springer
16 years 25 days ago
2009
Springer
Model Driven Software Development (MDSD) has matured over the last few years and is now becoming an established technology. Models are used in various contexts, where the possibili...
176
click to vote
ICWE
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. There is a need to integrate XML schemas, i.e., schemas written in XML Schema, into UML-based software development processes. Not only the production of XML schemas out o...