|
|
|
|
|
| | Information ScienceFrom cell phones to Web portals, advances in information and communications technology have thrust society into an information age that is far-reaching, fast-moving, increasingly complex, and yet essential to modern life. Now, renowned scholar and author David Luenberger has produced Information Science, a text that distills and explains... | | Real-Time Systems: Formal Specification and Automatic VerificationReal-time systems need to react to certain input stimuli within given time bounds. For example, an airbag in a car has to unfold within 300 milliseconds in a crash. There are many embedded safety-critical applications and each requires real-time specification techniques. This text introduces three of these techniques, based on logic and automata:... |
|
|
|
|
Result Page: 167 166 165 164 163 162 161 160 159 158 157 156 155 154 153 152 151 150 149 |