2637 search results - page 109 / 528 » Tool Supported Specification and Simulation of Distributed S... |
174
click to vote
TACAS
1997
Springer
15 years 8 months ago
1997
Springer
In this paper, we describe the computer tool Design CPN supporting editing, simulation, and state space analysis of Coloured Petri Nets. So far, approximately 40 man-years have bee...
162
click to vote
BMCBI
2011
14 years 11 months ago
2011
Background: Since its inception, proteomics has essentially operated in a discovery mode with the goal of identifying and quantifying the maximal number of proteins in a sample. I...
134
click to vote
FGCS
2002
15 years 4 months ago
2002
Parameter-space studies involve running a single application several times with different parameter sets. Since the jobs are mutually independent, many computing resources can be r...
147
click to vote
WSC
1998
15 years 5 months ago
1998
The use of the World Wide Web and Java-based mobile code provides new opportunities for distributed simulation. First, the infrastructure provided by the Internet eliminates the n...
131
click to vote
WSC
2007
15 years 6 months ago
2007
Often the process and effort in building interoperable Command and Control (C2) systems and simulations can be arduous. Invariably the difficulty is in understanding what is inten...