5034 search results - page 438 / 1007 » A Content-Centric Development Process Model |
122
click to vote
WSC
2000
15 years 7 months ago
2000
In determining an electronic workflow system, a financial services firm utilized simulation to determine the necessary capital expenditure. Analysis included batching options, Ser...
143
Voted
IV
1999
IEEE
15 years 10 months ago
1999
IEEE
We have developed atomic-scale material models capable of melting, crystallization and amorphization. These models feature molecular dynamics governed by Langevin equations of mot...
149
click to vote
CAISE
2006
Springer
15 years 10 months ago
2006
Springer
Information Systems (IS) have a major impact on human activities. They are not only "objects or products" because they directly concern our access to knowledge, our possi...
158
click to vote
GECCO
2006
Springer
15 years 9 months ago
2006
Springer
A Genetic Algorithm, embedded in a simulation-based method, is applied to the identification of Asynchronous Finite State Machines. Two different coding schemes and their associat...
171
click to vote
FM
2008
Springer
15 years 7 months ago
2008
Springer
In this article we would like to present some recent applications of the B formal method to the development of safety critical system. These SIL3/SIL41 compliant systems have their...