Search Sciweavers | Sciweavers

19367 search results - page 39 / 3874

» Fine-Grain Process Modelling

click to vote

AMAST
2006
Springer

85views Software Engineering» more AMAST 2006»

Testing Semantics: Connecting Processes and Process Logics

13 years 11 months ago

Download www.entcs.org

We propose a methodology based on testing as a framework to capture the interactions of a machine represented in a denotational model and the data it manipulates. Using a duality t...

Dusko Pavlovic, Michael W. Mislove, James Worrell

claim paper

Read More »

click to vote

WSC
2000

144views Modeling And Simulation» more WSC 2000»

Toward a standard process: the use of UML for designing simulation models

13 years 9 months ago

Download www.informs-sim.org

Designing complex simulation models is a task essentially associated with software engineering. In this paper, the Unified Modeling Language (UML) is used to specify simulation mo...

Hendrik Richter, Lothar März

claim paper

Read More »

click to vote

SAC
2009
ACM

124views Applied Computing» more SAC 2009»

Collaborative modeling of business processes: a comparative case study

14 years 2 months ago

Download www.adm.hb.se

We study collaborative modeling of business processes with respect to the impact of tool support on the modeling process. For this purpose we compared model quality and modeling c...

Peter Rittgen

claim paper

Read More »

click to vote

PADS
2006
ACM

122views Modeling and Simulation» more PADS 2006»

Discrete-event Execution Alternatives on General Purpose Graphical Processing Units (GPGPUs)

14 years 1 months ago