3605 search results - page 142 / 721 » System and simulation modeling using SysML |
114
click to vote
WSC
2004
15 years 4 months ago
2004
We discuss a modification of the process world view, a graphical modeling representation language for the modified process world view called Control Flow Graphs (CFGs), an extensi...
112
click to vote
BMAS
2000
IEEE
15 years 7 months ago
2000
IEEE
System design requires experienced designers that use heuristics and built up knowledge to propose a high order solution. Behavioral models can help to formalise, optimise and spe...
126
click to vote
WSC
2007
15 years 5 months ago
2007
Visualization is a powerful method for verifying, validating, and communicating the results of a simulated model. Lack of visual understanding about a simulated model is one of th...
125
click to vote
IANDC
2006
15 years 3 months ago
2006
We propose a modular approach to defining notions of simulation, and modal logics which characterise them. We use coalgebras to model state-based systems, relators to define notio...
98
Voted
CCGRID
2006
IEEE
15 years 9 months ago
2006
IEEE
This paper focuses on architecture suitable for largescale simulation system. Based on the scenario of large-scale internet simulation, the grid technology is introduced and a new...