3706 search results - page 555 / 742 » KtSeqC: System Description |
177
click to vote
WSC
2004
15 years 8 months ago
2004
Factory physics provides a systematic description, expressed as laws, of the underlying behavior of a system. These laws can provide important assistance in performing simulation ...
186
click to vote
SDL
2003
15 years 8 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...
197
click to vote
SERP
2003
15 years 8 months ago
2003
The software engineering community has introduced component and connector concepts to support architecture-based software descriptions. However, there still exists a gap in transi...
155
click to vote
ICMAS
1998
15 years 8 months ago
1998
We have been developing an approach for the distributed coordination of heterogeneous, autonomous agents. This approach takes as input (a) agent skeletons, giving compact descript...
171
click to vote
WSC
1998
15 years 8 months ago
1998
Many simulation systems are standalone, running only on a desktop and having limited capabilities to integrate with other technologies such as company databases, workflow engines,...