392 search results - page 24 / 79 » The engineering of concurrent simulations of complex systems |
EUROMICRO
1998
IEEE
14 years 10 days ago
1998
IEEE
Transformational design is aformal technique directed at design correctness. It integrates design and veriJication by the use of pre-proven behaviour preserving transformations as...
ICSE
1997
IEEE-ACM
14 years 6 days ago
1997
IEEE-ACM
As software projects evolve, possibly differing in size, complexity, scope, and purpose, the development processes that support the project must evolve to reflect these changes. T...
ANSS
2006
IEEE
14 years 2 months ago
2006
IEEE
With the availability of huge databases cataloguing the various molecular “parts” of complex biological systems, researchers from multiple disciplines have focused on developi...
SPRINGSIM
2007
13 years 9 months ago
2007
DEVS is a Modeling and Simulation formalism that has been used to study the dynamics of discrete event systems. Cell-DEVS is a DEVS-based formalism that defines the cell space as ...
SBP
2010
Springer
14 years 2 months ago
2010
Springer
Abstract. The health system is a complex system of systems – changes in agriculture, transportation, economics, family life, medical practices, and many other things can have a p...