1119 search results - page 181 / 224 » A Flexible Framework for SharedPlans |
HASE
1998
IEEE
14 years 15 days ago
1998
IEEE
In safety-critical systems, certain safety constraints must be satisfied before an operation can be performed. Such constraints typically depend on the state of the system at the ...
IPPS
1998
IEEE
14 years 14 days ago
1998
IEEE
In this paper, we describe our experience with developing Airshed, a large pollution modeling application, in the Fx programming environment. We demonstrate that high level parall...
PRICAI
2000
Springer
14 years 13 days ago
2000
Springer
Autonomous state generalization problem is a key issue in the research field of behavior learning of reactive agents, and many approaches have been proposed in recent years. Howeve...
ICSE
1997
IEEE-ACM
14 years 13 days ago
1997
IEEE-ACM
Formal specification methods are not often applied in industrial projects, despite their advantages and the maturity of theories and tools. The scarce familiarity of practitioners...
COMPSAC
2009
IEEE
14 years 4 days ago
2009
IEEE
—As an effective approach to maintain software system without interrupting the service, online migration has been applied for many goals, e.g. achieving a higher system performan...