4914 search results - page 172 / 983 » Arbitration of a help system |
RTS
2006
13 years 8 months ago
2006
Component middleware provides dependable and efficient platforms that support key functional, and quality of service (QoS) needs of distributed real-time embedded (DRE) systems. C...
ESWA
2002
13 years 8 months ago
2002
- This paper surveys a number of well-known expert systems in the domain of finance. The idea is to illustrate the span of typical expert systems in finance and to provide an insig...
SIGCSE
2010
ACM
13 years 6 months ago
2010
ACM
In this paper, we present a series of programming projects based on the Linux kernel for students in a senior-level undergraduate operating systems course. The projects we describ...
DAC
2000
ACM
14 years 9 months ago
2000
ACM
The increasing complexity and software content of embedded systems has led to the common use of sophisticated system software that helps applications use the underlying hardware r...
ATVA
2009
Springer
14 years 2 months ago
2009
Springer
In this paper, we describe a decompositional approach to convergence proofs for stochastic hybrid systems given as probabilistic hybrid automata. We focus on a concept called “st...