3765 search results - page 136 / 753 » Formal Methods for Systems Engineering Behavior Models |
96
Voted
ISMB
1993
15 years 4 months ago
1993
In the field of biotechnologyand medicineit is of interest to modeland simulate metabolicprocesses. The usual methods to model metabolic pathwaysare chemicaldescriptions anddiffer...
166
click to vote
HYBRID
2010
Springer
15 years 4 months ago
2010
Springer
In this paper, we describe a receding horizon scheme that satisfies a class of linear temporal logic specifications sufficient to describe a wide range of properties including saf...
152
click to vote
APN
2007
Springer
15 years 8 months ago
2007
Springer
Asynchronous data communication mechanisms (ACMs) have been extensively studied as data connectors between independently timed concurrent processes. In previous work, an automatic ...
113
Voted
JUCS
2006
15 years 2 months ago
2006
Abstract: UML may be used to describe both the structure and behavior of objectoriented systems using a combination of notations. For the modeling of the dynamic behavior, a number...
114
Voted
SEKE
2004
Springer
15 years 8 months ago
2004
Springer
As application semantics becomes more complex and dynamic in IT systems, it is necessary to engineer the application semantics in its own lifecycle of development parallel to syste...