198 search results - page 3 / 40 » Analyzing Partially-Implemented Real-Time Systems |
DATE
2000
IEEE
13 years 10 months ago
2000
IEEE
EWCBR
2008
Springer
13 years 8 months ago
2008
Springer
Abstract. Case-based planning (CBP) is based on reusing past successful plans for solving new problems. CBP is particularly useful in environments where the large amount of time re...
EDOC
2003
IEEE
13 years 11 months ago
2003
IEEE
As the desire for business intelligence capabilities for e-business processes expands, existing workflow management systems and decision support systems are not able to provide co...
RTSS
1999
IEEE
13 years 10 months ago
1999
IEEE
The e ective design of composite dependable and real-time protocols entails demonstrating their proof of correctness and, in practice, the e cient delivery of services. We focus o...
FORMATS
2009
Springer
14 years 24 days ago
2009
Springer
Embedded real-time systems are typically programmed in low-level languages which provide support for event-driven task processing and real-time interrupts. We show that the model c...