19986 search results - page 3733 / 3998 » On Designing Software Architectures |
126
click to vote
WSC
1997
15 years 5 months ago
1997
Transportation and logistics are fertile areas for modeling. Simulation has traditionally been used in warehousing and inside the distribution center or processing hub in the truc...
141
click to vote
WSC
1997
15 years 5 months ago
1997
Model abstraction using metamodeling has demonstrated the capability to facilitate software reuse, large scale model integration, verification, and validation. Once restricted to...
117
Voted
CASCON
1996
15 years 5 months ago
1996
Developing and managing applications for environments consisting of independently con gured computing systems interoperating acrossnetwork connections is of considerable interest ...
125
click to vote
FTCS
1996
15 years 5 months ago
1996
In the research reported in this paper, transient faults were injected in the nodes and in the communication subsystem (by using software fault injection) of a commercial parallel...
127
click to vote
FORTE
1994
15 years 5 months ago
1994
The record of successful applications of formal verification techniques is slowly growing. Our ultimate aim, however, is not to perform small pilot projects that show that verific...