125 search results - page 10 / 25 » A Temporal Logic-Based Planning and Execution Monitoring Sys... |
159
click to vote
CASCON
2010
14 years 6 months ago
2010
For a system of distributed processes, correctness can be ensured by (statically) checking whether their composition satisfies properties of interest. However, web services are dis...
ICSE
2010
IEEE-ACM
15 years 2 months ago
2010
IEEE-ACM
In software with emergent properties, despite the best efforts to remove faults before execution, there is a high likelihood that faults will occur during runtime. These faults c...
63
Voted
DBKDA
2009
IEEE
15 years 24 days ago
2009
IEEE
Software systems in health care, such as disease and medical-record management, or financial applications, such as customer relationship and portfolio management, have very often...
86
Voted
IVA
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. In interactive plan-based narrative environments, user's actions must be monitored to ensure that conditions necessary for the execution of narrative plans are not c...
ICSE
2008
IEEE-ACM
15 years 10 months ago
2008
IEEE-ACM
In grid workflow systems, temporal correctness is critical to assure the timely completion of grid workflow execution. To monitor and control the temporal correctness, fixed-time ...