1972 search results - page 209 / 395 » The Timed Asynchronous Distributed System Model |
183
click to vote
SDL
2003
15 years 7 months ago
2003
A tool for verification of distributed systems defined using standard SDL-96 is described. The SDL description is automatically translated into a high-level Petri net model which...
164
click to vote
MASCOTS
2007
15 years 7 months ago
2007
Network performance analysis relies mainly on two models: a workload model and a performance model. This paper proposes to use histograms for characterising the arrival workloads ...
158
click to vote
JSSPP
2009
Springer
16 years 29 days ago
2009
Springer
This paper analyzes the effect of overbooking for scheduling systems in a commercial environment. In this scenario each job is associated with a release time and a finishing deadl...
163
click to vote
CCGRID
2006
IEEE
16 years 14 days ago
2006
IEEE
Simulation and optimization of complex mechanical and electronical systems is a very time consuming and computationally intensive task. Therefore, metamodeling techniques are ofte...
193
click to vote
COMSWARE
2007
IEEE
16 years 22 days ago
2007
IEEE
Abstract— Wireless sensor networks consist of small, inexpensive devices which interact with the environment, communicate with each other, and perform distributed computations in...