2637 search results - page 113 / 528 » Tool Supported Specification and Simulation of Distributed S... |
164
click to vote
QEST
2010
IEEE
15 years 2 months ago
2010
IEEE
Stochastic model checking has been used recently to assess, among others, dependability measures for a variety of systems. However, the employed numerical methods, as, e.g., suppor...
137
click to vote
CCE
2006
15 years 4 months ago
2006
This paper discusses the development of a set of object-oriented modular simulation tools for solving lumped and spatially distributed models generated from chemical process desig...
197
click to vote
TSDM
2000
15 years 8 months ago
2000
The growing production of maps is generating huge volume of data stored in large spatial databases. This huge volume of data exceeds the human analysis capabilities. Spatial data m...
153
click to vote
AOIS
2006
15 years 5 months ago
2006
People tend to form social networks within geographical areas. This can be explained by the fact that generally geographical localities correspond to common interests (e.g. studen...
136
Voted
WOSP
2004
ACM
15 years 9 months ago
2004
ACM
Modelling and analysing distributed and mobile software systems is a challenging task. PEPA nets—coloured stochastic Petri nets—are a recently introduced modelling formalism w...