1728 search results - page 254 / 346 » Formal Modeling of Process Migration |
122
Voted
FLAIRS
2008
15 years 3 months ago
2008
One of the central problems in building broad-coverage story understanding systems is generating expectations about event sequences, i.e. predicting what happens next given some a...
115
click to vote
AEI
2006
15 years 23 days ago
2006
This paper presents a linguistic framework for developing a formal knowledge acquisition method. The framework is intended to empower domain experts to specify information require...
148
Voted
TASE
2008
IEEE
15 years 18 days ago
2008
IEEE
In this paper we deal with the problem of modeling railway networks with Petri nets so as to apply the theory of supervisory control for discrete event systems to automatically de...
115
Voted
FUIN
2010
14 years 10 months ago
2010
Abstract. Complex biological systems involve incorporated behaviors of numerous processes, mechanisms and objects. However, experimental analysis, by its nature, divides biological...
115
Voted
TACAS
2004
Springer
15 years 6 months ago
2004
Springer
Temporal logic is two-valued: formulas are interpreted as either true or false. When applied to the analysis of stochastic systems, or systems with imprecise formal models, tempor...