7921 search results - page 937 / 1585 » Process Modeling in Web Applications |
119
click to vote
IV
1999
IEEE
15 years 9 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...
132
click to vote
KBSE
1997
IEEE
15 years 8 months ago
1997
IEEE
There are a number of competing component models in use today. Most are language-independent, but also platform-dependent and not designed to support a tool-based development para...
144
Voted
FM
2008
Springer
15 years 6 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...
140
click to vote
NIPS
2001
15 years 6 months ago
2001
We present an algorithm that induces a class of models with thin junction trees--models that are characterized by an upper bound on the size of the maximal cliques of their triang...
136
click to vote
MASCOTS
2003
15 years 6 months ago
2003
We review the DEVS modeling and simulation framework Its fundamental concepts are discussed from the standpoint of discrete event information processing with an example drawn from...