Skip to main content

Currently Skimming:

Software: The Challenge to Getting There
Pages 95-99

The Chapter Skim interface presents what we've algorithmically identified as the most significant single chunk of text within every page in the chapter.
Select key terms on the right to highlight them within pages of the chapter.


From page 95...
... A problem that used to take seven days now can be done in seven seconds. Lucent applied this technology to a recent product the telephony features that were verified using this system and took the specification for these services, extracted from them properties that were written in linear temporal logic, and then in a matter of minutes verified that the code satisfied the properties of this kind of specification.
From page 96...
... The main idea behind MEMs is to be able to make inexpensive sensors and actuators, including displays, to bring computing into a closer tie with the real world. He cited special MEM devices that could measure structural changes in buildings after an earthquake, describing which sections have been damaged and which have not, and MEM devices for the body, mentioned by Dr.
From page 97...
... These came to include databases, which are still a hot area, now often called data 25President's Information Technology Advisory Committee.
From page 98...
... Finally, personal productivity software got its start with the personal computers as the classical spreadsheet. Word processing applications went on to functions such as diagramming, personal financing, and mapping software.
From page 99...
... Many firms are designing annotation functions to allow for "living documents" created by widely dispersed people who are able to make comments, ask questions, or post annotations. These annotations can all be searched and classified to distinguish private annotations, for example, from public questions from the audience or exam questions or answers to questions.


This material may be derived from roughly machine-read images, and so is provided only to facilitate research.
More information on Chapter Skim is available.